Automated Reasoning With Analytic Tableaux and Related Methods

by Galmiche, Didier

Show all copies

Available Copies

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

by Didier Galmiche

Condition
New
ISBN
9783540629207
Quantity Available
1
Seller
Ria Christie Collections
Uxbridge, Greater London, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$111.54

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
NZ$111.54
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

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
The Saint Bookstore
Southport, Merseyside, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$111.62

Show Details

Description:
Paperback / softback. New.
Item Price
NZ$111.62
No image available

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
Ria Christie Collections
Uxbridge, Greater London, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$100.20

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
NZ$100.20
No image available

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
The Saint Bookstore
Southport, Merseyside, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$125.73

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
NZ$125.73
No image available

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
Revaluation Books
Exeter, Devon, GBR
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$111.16

Show Details

Description:
Springer, 2013. Paperback. New. 2013 edition. 299 pages. 9.00x6.10x0.70 inches.
Item Price
NZ$111.16