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 Proceedings (Lecture Notes in Computer Science) by Springer - 2008-06-13
by Springer
Similar copies are shown below.
Similar copies are shown to the right.
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings (Lecture Notes in Computer Science)
by Springer
- New
2008-06-13. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May be re-issue. Buy with confidence, excellent customer service!
-
Bookseller
Books Express
(US)
- Book Condition New New
- Quantity Available 1
- ISBN 10 3540629203
- ISBN 13 9783540629207
- Date Published 2008-06-13
We have 3 copies available starting at $67.32.
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 10 / ISBN 13
- 9783540629207 / 3540629203
- Quantity Available
- 206
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$67.32$7.99 shipping to
Show Details
Item Price
$67.32
$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 10 / ISBN 13
- 9783540629207 / 3540629203
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$75.88$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.88
$9.95
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 (Lecture Notes in Computer Science, 1227)
by Galmiche, Didier [Editor]
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540629207 / 3540629203
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$142.00$10.00 shipping to
Show Details
Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
$142.00
$10.00
shipping to