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
$60.85

$60.85

Save:$28.00 (32%)

Quantity

20+ 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

$60.85

$60.85

More Information