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 - - Libros - Springer International Publishing AG - 9783319669014 - 31 de agosto de 2017
En caso de que portada y título no coincidan, el título será el correcto

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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

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

Aún no valorado

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.

Más del mismo editor