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

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... / Lecture Notes in Artificial Intelligence)

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... / Lecture Notes in Artificial Intelligence)

by RobertMiner (Editor), WolfgangWindsteiger (Editor), Manuel Kauers (Editor), Manfred Kerber (Editor)

$70.88

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 407
 Publisher: Springer
Published: 19 Jun 2007
ISBN 10: 3540730834
ISBN 13: 9783540730835