Hoppa till sidans huvudinnehåll

Herman Geuvers – författare

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

Logic Colloquium 2006

AvS. Barry Cooper,Herman Geuversm. fl.

Inbunden, Engelska, 2009

2 309 kr

Skickas inom 7-10 vardagar

Type Theory and Formal Proof

An Introduction

AvRob Nederpelt,Herman Geuvers

Inbunden, Engelska, 2014

1 309 kr

Skickas inom 7-10 vardagar

Del 10383 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

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

AvHerman Geuvers,Matthew Englandm. fl.

Häftad, Engelska, 2017

719 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

AvHerman Geuvers,Freek Wiedijk

Häftad, Engelska, 2003

699 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

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

AvMarko Van Eekelen,Herman Geuversm. fl.

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar