Matt Kaufmann
Articles populaires de Matt Kaufmann
Afficher toutes les offres-
Computer-Aided Reasoning: Acl2 Case Studies
Prix des articles à partir de
Afficher les 25 offresEUR 126,39
-
Computer-Aided Reasoning: An Approach
Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother
Prix des articles à partir de
Afficher les 2 offresEUR 335,70
Rechercher également
Ancien ou d'occasion -
Interactive Theorem Proving: First International Conference, Itp 2010, Edinburgh, Uk, July 11-14, 2010, Proceedings
Prix des articles à partir de
Afficher les 5 offresEUR 131,46
