Herman Geuvers – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

5 produkter

Type Theory and Formal Proof
An Introduction
AvRob Nederpelt,Herman Geuvers
Inbunden, Engelska, 2014
1 339 kr
Skickas inom 10-15 vardagar
Del 10383
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
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
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
Del 32
Del 32 - Lecture Notes in Logic
Logic Colloquium 2006
AvS. Barry Cooper,Herman Geuversm. fl.
Inbunden, Engelska, 2009
2 359 kr
Tillfälligt slut