Chad E. Brown
Articles populaires de Chad E. Brown
Afficher toutes les offres-
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory
Brown, Chad E.
Prix des articles à partir de
Afficher les 18 offresEUR 31,15
-
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Prix des articles à partir de
Afficher les 14 offresEUR 29,11
