Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings: 2083 (Lecture Notes in Computer Science)

by Alexander Leitsch (Author), Alexander Leitsch (Author), Tobias Nipkow (Author), Rajeev Gore (Author)

New
Paperback
2008
$125.34

$125.34

Save:$11.38 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 728
Edition: 2001
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540422544
ISBN 13: 9783540422549

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings: 2083 (Lecture Notes in Computer Science)

New

$125.34

$125.34

More Information