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

My Wish Lists Login / Join

Results for author 'Amy Felty'

Refine Your Results

subjects

Computing & I.T.

2

Mathematics

2

Science

2

lists

All Books

2

availability

All Books

2

price

$50 - $100

2

formats

Paperbacks

2

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

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings - Lennart Beringer

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lennart Beringer and Amy Felty

Paperback

$84.99

2 Results