Hoppa till sidans huvudinnehåll

Herman Geuvers – författare

Visar alla böcker från författaren Herman Geuvers.
5 produkter
S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen - Logic Colloquium 2006, Inbunden
Del 32 - Lecture Notes in Logic

Logic Colloquium 2006

AvS. Barry Cooper,Herman Geuversm. fl.

Inbunden, Engelska, 2009

2 609 kr

Skickas inom 11-20 vardagar

Rob Nederpelt, Herman Geuvers - Type Theory and Formal Proof, Inbunden

Type Theory and Formal Proof

An Introduction

AvRob Nederpelt,Herman Geuvers

Inbunden, Engelska, 2014

1 339 kr

Skickas inom 7-10 vardagar

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke - Intelligent Computer Mathematics, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Herman Geuvers, Freek Wiedijk - Types for Proofs and Programs, Häftad

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

709 kr

Skickas inom 10-15 vardagar

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk - Interactive Theorem Proving, Häftad

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

729 kr

Skickas inom 10-15 vardagar