Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings.
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ... / Lecture Notes in Artificial Intelligence) by Editor-Didier Galmiche - 1997-05-29
by Editor-Didier Galmiche
Similar copies are shown below.
Similar copies are shown to the right.
Stock Photo: Cover May Be Different
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ... / Lecture Notes in Artificial Intelligence)
by Editor-Didier Galmiche
- Used
- Paperback
Springer, 1997-05-29. Paperback. Used: Good.
- Bookseller Ergodebooks (US)
- Format/Binding Paperback
- Book Condition Used: Good
- Quantity Available 1
- Binding Paperback
- ISBN 10 3540629203
- ISBN 13 9783540629207
- Publisher Springer
- Date Published 1997-05-29
We have 2 copies available starting at $67.02.
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
by Didier Galmiche
- New
- Condition
- New
- ISBN 13
- 9783540629207
- ISBN 10
- 3540629203
- Quantity Available
- 206
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$67.02$7.99 shipping to
Show Details
Item Price
$67.02
$7.99
shipping to
Stock Photo: Cover May Be Different
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
by Didier Galmiche
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 13
- 9783540629207
- ISBN 10
- 3540629203
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$75.55$9.95 shipping to
Show Details
Description:
Paperback / softback. New. This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions.
Item Price
$75.55
$9.95
shipping to