Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25–28, 2017, Proceedings - Lecture Notes in Computer Science 1st ed. 2017 edition

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25–28, 2017, Proceedings - Lecture Notes in Computer Science
Price: 1226 MXN
Availability: OutOfStock

Precio

Mex$ 1.226

sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25–28, 2017, Proceedings - Lecture Notes in Computer Science

1st ed. 2017 edition

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.

381 pages, 75 Illustrations, black and white; XII, 381 p. 75 illus.

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	31 de agosto de 2017
ISBN13	9783319669014
Editores	Springer International Publishing AG
Páginas	381
Dimensiones	150 × 220 × 10 mm · 5,97 kg
Lengua	Alemán
Editor	Nalon, Claudia
Editor	Schmidt, Renate A.