Herman Geuvers - Böcker

Visar alla böcker från författaren Herman Geuvers.
5 produkter
S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen, S. Barry (University of Leeds) Cooper, Herman (Radboud Universiteit Nijmegen) Geuvers, Anand (University of Leeds) Pillay, Jouko Vaananen - Logic Colloquium 2006, Inbunden
Del 32 - Lecture Notes in Logic

Logic Colloquium 2006

Av S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen, S. Barry (University of Leeds) Cooper, Herman (Radboud Universiteit Nijmegen) Geuvers, Anand (University of Leeds) Pillay, Jouko Vaananen

Inbunden, Engelska, 2009

2 179 kr

Skickas inom 7-10 vardagar
Rob Nederpelt, Herman Geuvers, The Netherlands) Nederpelt, Rob (Technische Universiteit Eindhoven, Herman (Radboud Universiteit Nijmegen) Geuvers - Type Theory and Formal Proof, Inbunden

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 249 kr

Skickas inom 7-10 vardagar
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

Av Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar
Herman Geuvers, Freek Wiedijk - Types for Proofs and Programs, Häftad
Del 2646 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Herman Geuvers, Freek Wiedijk

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar