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

My Wish Lists Login / Join

Results for author 'Aart Middeldorp'

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

3

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Aart Middeldorp

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Aart Middeldorp and Amy P. Felty

Paperback

$84.99

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Ken McMillan

Logic for Programming, Artificial Intelligence, and Reasoning

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Ken McMillan, Aart Middeldorp and Andrei Voronkov

Paperback

$84.99

Processes, Terms and Cycles : Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday - Aart Middeldorp

Processes, Terms and Cycles

Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

Aart Middeldorp, Vincent van Oostrom and Femke van Raamsdonk

Paperback

$169.75

3 Results