![Automated Reasoning with Analytic Tableaux and Related Methods : International](https://d3525k1ryd2155.cloudfront.net/h/275/940/1588940275.0.l.jpg)
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings Paperback - 1997 - 1997th Edition
by Didier Galmiche
- New
Description
New
NZ$102.71
NZ$16.76
Shipping to USA
Standard delivery: 7 to 12 days
More Shipping Options
Standard delivery: 7 to 12 days
Ships from Ria Christie Collections (Greater London, United Kingdom)
About Ria Christie Collections Greater London, United Kingdom
Biblio member since 2014
Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
Details
- Title Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
- Author Didier Galmiche
- Binding Paperback
- Edition number 1997th
- Edition 1997
- Condition New
- Pages 380
- Volumes 1
- Language ENG
- Publisher Springer
- Date 1997-04-29
- Bookseller's Inventory # ria9783540629207_pod
- ISBN 9783540629207 / 3540629203
- Weight 1.21 lbs (0.55 kg)
- Dimensions 9.21 x 6.14 x 0.81 in (23.39 x 15.60 x 2.06 cm)
- Library of Congress Catalog Number 97011975
- Dewey Decimal Code 006.333