Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Dale Miller (Editor), UlrikeSattler (Editor), Bernhard Gramlich (Editor)

New
Paperback
2012
$70.49

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.

Synopsis

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.

$70.49

Save:$9.74 (12%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 568
Edition: 2012
Publisher: Springer
Published: 20 Jun 2012
ISBN 10: 3642313647
ISBN 13: 9783642313646

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

New

$70.49

Synopsis

$70.49

More Information