Logic Colloquium 2006

by Edited by S. Barry Cooper , Herman Geuvers , Anand Pillay , Jouko Väänänen

• ISBN13: 9780521110815
• ISBN10: 0521110815
• Format: Hardcover

• Rental Textbook Copy Special Order: 1-2 Weeks
• New Textbook Copy Special Order: 1-2 Weeks
• Free Shipping On Orders Over $35!

Type Theory and Formal Proof

by Nederpelt, Rob; Geuvers, Herman

• ISBN13: 9781107036505
• ISBN10: 110703650X
• Format: Hardcover

• Rental Textbook Copy Special Order: 1-2 Weeks
• New Textbook Copy Special Order: 1-2 Weeks
• Free Shipping On Orders Over $35!

Intelligent Computer Mathematics

by Geuvers, Herman; England, Matthew; Hasan, Osman; et al.

• ISBN13: 9783319620749
• ISBN10: 3319620746
• Format: Paperback

Intelligent Computer Mathematics

by Herman Geuvers

• ISBN13: 9783319620756
• ISBN10: 3319620754
• Format: Nonspecific Binding

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers

by Geuvers, Herman; Wiedijk, Freek

• ISBN13: 9783540140313
• ISBN10: 354014031X
• Format: Paperback

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, Proceedings

by Van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; et al.

• ISBN13: 9783642228629
• ISBN10: 3642228623
• Format: Paperback

Interactive Theorem Proving

by Marko Van Eekelen; ?Herman Geuvers; ?Julien Schmaltz

• ISBN13: 9783642228636
• ISBN10: 3642228631
• Format: Nonspecific Binding