Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... 8123 (Lecture Notes in Computer Science)

by Didier Galmiche (Editor), Dominique Larchey - Wendling (Editor)

New
Paperback
2013
$46.79

$46.79

Save:$2.55 (5%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 300
Edition: 2013
Publisher: Springer
Published: 21 Aug 2013
ISBN 10: 3642405363
ISBN 13: 9783642405365

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... 8123 (Lecture Notes in Computer Science)

New

$46.79

$46.79

More Information