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), Tobias Nipkow (Author), Rajeev Gore (Author), Alexander Leitsch (Author)

New
Paperback
2008
$131.39

$131.39

Save:$11.93 (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

$131.39

$131.39

More Information