Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Herman Geuvers'

Refine Your Results

subjects

Computing & I.T.

3

Mathematics

3

Science

3

lists

All Books

3

availability

All Books

3

price

$50 - $100

2

Over $100

1

formats

Paperbacks

2

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Florian Rabe

Intelligent Computer Mathematics

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

Florian Rabe, Osman Hasan, Olaf Teschke, Matthew England and Herman Geuvers

Paperback

$84.99

Type Theory and Formal Proof : An Introduction - Rob Nederpelt

Type Theory and Formal Proof

An Introduction

Rob Nederpelt and Herman Geuvers

Hardcover

RRP $139.95

$126.75

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Marko Van Eekelen

Interactive Theorem Proving

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

Marko Van Eekelen, Herman Geuvers and Julien Schmaltz

Paperback

$84.99

3 Results