Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings: 1227 (Lecture Notes in Computer Science)

by Didier Galmiche (Author)

New
Paperback
2008
$57.03

$57.03

Save:$40.06 (41%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 392
Edition: 1997
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540629203
ISBN 13: 9783540629207

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings: 1227 (Lecture Notes in Computer Science)

New

$57.03

$57.03

More Information