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 Proceed Paperback - 1997 - 1997th Edition
by Didier Galmiche (Editor)
Details
- Title Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed
- Author Didier Galmiche (Editor)
- Binding Paperback
- Edition number 1997th
- Edition 1997
- Pages 380
- Volumes 1
- Language ENG
- Publisher Springer
- Date 1997-04-29
- 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
More Copies for Sale
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
-
€62.82€9.45 shipping to USA
Show Details
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.
Item Price
€62.82
€9.45
shipping to USA
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
-
€70.81€11.76 shipping to USA
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
€70.81
€11.76
shipping to USA
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
-
€134.22€9.45 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
€134.22
€9.45
shipping to USA