trier par
Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Formal category theory | 18 résultat(s)

Services

Affiner la recherche

Mot Type Compte
formal Mots du titre [5923]
category Mots du titre [982]
theory Mots du titre [82212]
premierprécédent | 1 | 2 | suivantdernier

Ressources électroniques 1.
2006Résumé
Livres 2.
International Congress of Mathematical Software (4th ; Seoul, South Korea ; 2014) / Springer / 2014Résumé
Ressources électroniques 3.
Hong, Hoon / 1st ed. 2014. / 2014Résumé
Ressources électroniques 4.
Klein, Gerwin / 1st ed. 2014. / 2014Résumé
Ressources électroniques 5.
Rodin, Andrei / 2014Résumé
Ressources électroniques 6.
2006Résumé
Ressources électroniques 7.
FASE 2009 (12th ; York, UK ; 2009) / 2009Résumé
Ressources électroniques 8.
Kryszkiewicz, Marzena / 2007Résumé
Ressources électroniques 9.
Shi, Yong / 2007Résumé
Livres 10.
Kuś, Marek / 2019Résumé