Free shipping over $79 | Order by Dec 31 and enjoy a $10 voucher on your next purchase
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79

Results for author 'Glenn Derry'

Refine Your Results
subjects
    Computing & I.T.
    2
    Mathematics
    2
    Science
    2
lists
    All Books
    2
availability
    All Books
    2
price
    Over $100
    2
formats
    Hardcovers
    2
Language
Sort By:
Booktopia Recommends
Bestsellers
Price Low to High
Price High to Low
Most Recently Published
Automated Theorem Proving : Theory and Practice - Glenn Derry

Automated Theorem Proving

Theory and Practice

Glenn Derry

Hardcover

Available for Backorder

$441.75

Current Trends in Automated Theorem Proving - Glenn Derry

Current Trends in Automated Theorem Proving

Glenn Derry

Hardcover

Available for Backorder

$446.75

2 Results