Automated Reasoning With Analytic Tableaux and Related Methods
by Galmiche, Didier
Available Copies
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
by Didier Galmiche
- Condition
- New
- ISBN
- 9783540629207
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
$66.74
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
$66.74
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
by Didier Galmiche
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783642405365
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
$66.79
Show Details
Description:
Paperback / softback. New. Item Price
$66.79
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
by Didier Galmiche
- Condition
- New
- ISBN
- 9783642405365
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
$59.95
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings. Item Price
$59.95
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
by Didier Galmiche
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783540629207
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
$75.23
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.23
Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
by Galmiche, Didier (Edited by)/ Larchey-Wendling, Dominique (Edited by)
- Condition
- New
- Published
- 2013
- Binding
- Paperback
- ISBN
- 9783642405365
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
$68.68
Show Details
Description:
Springer, 2013. Paperback. New. 2013 edition. 299 pages. 9.00x6.10x0.70 inches. Item Price
$68.68
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]
- Condition
- New
- Binding
- Paperback
- ISBN
- 9783540629207
- Quantity Available
- 1
- Seller
-
campbelltown, Florida, USA
- Item Price
-
$142.00
Show Details
Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing Item Price
$142.00