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

My Wish Lists Login / Join

Results for author 'William McCune'

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 in Equational Logic and Cubic Curves : Lecture Notes in Artificial Intelligence - William McCune

Automated Deduction in Equational Logic and Cubic Curves

Lecture Notes in Artificial Intelligence

William McCune and R. Padmanabhan

Paperback

$84.99

Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings - William McCune

Automated Deduction - CADE-14

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Paperback

$84.99

2 Results