Automated Reasoning With Analytic Tableaux and Related Methods

de Galmiche, Didier

Mostrar todos los ejemplares

Ejemplares disponibles

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

de Didier Galmiche

Estado
New
ISBN
9783540629207
Cantidad disponible
1
Librería
Ria Christie Collections
Uxbridge, Greater London, GBR
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 63.24

Mostrar detalles

Descripción:
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.
Precio
EUR 63.24
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

de Didier Galmiche

Estado
New
Encuadernación
Paperback / softback
ISBN
9783642405365
Cantidad disponible
1
Librería
The Saint Bookstore
Southport, Merseyside, GBR
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 63.28

Mostrar detalles

Descripción:
Paperback / softback. New.
Precio
EUR 63.28
No hay imagen

Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

de Didier Galmiche

Estado
New
ISBN
9783642405365
Cantidad disponible
1
Librería
Ria Christie Collections
Uxbridge, Greater London, GBR
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 56.81

Mostrar detalles

Descripción:
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.
Precio
EUR 56.81
No hay imagen

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

de Didier Galmiche

Estado
New
Encuadernación
Paperback / softback
ISBN
9783540629207
Cantidad disponible
1
Librería
The Saint Bookstore
Southport, Merseyside, GBR
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 71.28

Mostrar detalles

Descripción:
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.
Precio
EUR 71.28
No hay imagen

Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

de Galmiche, Didier (Edited by)/ Larchey-Wendling, Dominique (Edited by)

Estado
New
Published
2013
Encuadernación
Paperback
ISBN
9783642405365
Cantidad disponible
1
Librería
Revaluation Books
Exeter, Devon, GBR
Puntuación del vendedor:
Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 63.15

Mostrar detalles

Descripción:
Springer, 2013. Paperback. New. 2013 edition. 299 pages. 9.00x6.10x0.70 inches.
Precio
EUR 63.15