Herman Geuvers - Böcker
Visar alla böcker från författaren Herman Geuvers.
5 produkter
5 produkter
Logic Colloquium 2006
Av S. Barry (University of Leeds) Cooper, Herman (Radboud Universiteit Nijmegen) Geuvers, Anand (University of Leeds) Pillay, Jouko Vaananen, S. Barry Cooper, Herman Geuvers
Inbunden, Engelska, 2009
2 239 kr
Skickas inom 7-10 vardagar
Type Theory and Formal Proof
Av Rob Nederpelt, Herman Geuvers, The Netherlands) Nederpelt, Rob (Technische Universiteit Eindhoven, Herman (Radboud Universiteit Nijmegen) Geuvers
Inbunden, Engelska, 2014
1 259 kr
Skickas inom 7-10 vardagar
Intelligent Computer Mathematics
Av Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, Engelska, 2017
739 kr
Skickas inom 7-10 vardagar
Del 2646 - Lecture Notes in Computer Science
Types for Proofs and Programs
Häftad, Engelska, 2003
719 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2011
739 kr
Skickas inom 7-10 vardagar