Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Regular price
$110.00
Sale price
$110.00
Regular price
$110.00
OUT OF STOCK
Unit price
per 
Shipping calculated at checkout.

Author/Contributor(s): Kerber, Manfred ; Kohlhase, Michael
Publisher: A K PETERS
Date: 04/02/2001
Binding: Hardcover
Condition: NEW