Présentation de l'auteur Christoph Benzmueller :

Livres publiés jusqu'à présent par Christoph Benzmueller :

Raisonnement dans la théorie des types simples : Festschrift en l'honneur de Peter B. Andrews à...
Kings College Pubn
Reasoning in Simple Type Theory est un recueil...
Raisonnement dans la théorie des types simples : Festschrift en l'honneur de Peter B. Andrews à l'occasion de son 70e anniversaire - Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
<<
1
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)