*Take $10 off when you spend $50+! Use code NEWYEAR10. Ends Mon 5 Jan. T&Cs apply.
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 'Manfred Kerber'

Refine Your Results
subjects
    Biographies & True Stories
    1
    Computing & I.T.
    2
    Mathematics
    2
    Science
    2
lists
    All Books
    2
availability
    All Books
    2
price
    $50 - $100
    1
    Over $100
    1
formats
    Paperbacks
    1
    Hardcovers
    1
Language
Sort By:
Booktopia Recommends
Bestsellers
Price Low to High
Price High to Low
Most Recently Published
Symbolic Computation and Automated Reasoning : The CALCULEMUS-2000 Symposium - Manfred Kerber

Symbolic Computation and Automated Reasoning

The CALCULEMUS-2000 Symposium

Manfred Kerber and Michael Kohlhase

Hardcover

Available for Backorder

RRP $189.00

$167.75

11%
OFF
2 Results