The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Automated Theorem Proving

Automated Theorem Proving

by WolfgangBibel (Author)

$59.42

Save:$4.02 (6%)

Quantity

20+ in stock

More Information

Format: Illustrated
 Pages: 312
 Edition: 1982
 Publisher: Vieweg+Teubner Verlag
Published: 01 Jan 1982
ISBN 10: 3528085207
ISBN 13: 9783528085209