Hoppa till sidans huvudinnehåll

Herman Geuvers - Böcker

Visar alla böcker från författaren Herman Geuvers.
5 produkter
Del 32 - Lecture Notes in Logic

Logic Colloquium 2006

Av S. Barry Cooper, Herman Geuvers m. fl

Inbunden, Engelska, 2009

2 209 kr

Skickas inom 10-15 vardagar

Type Theory and Formal Proof

An Introduction

Av Rob Nederpelt, Herman Geuvers m. fl

Inbunden, Engelska, 2014

1 239 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Av Herman Geuvers, Matthew England m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Av Herman Geuvers, Freek Wiedijk

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Av Marko Van Eekelen, Herman Geuvers m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar