Nicola Olivetti
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science Nicola Olivetti

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Nicola Olivetti

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science

Nicola Olivetti

Constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France in July 2007. This book includes papers that cover many topics in the wide range of logics, from intuitionistic and substructural logics to modal logics.

250 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	21 de junio de 2007
ISBN13	9783540730989
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	250
Dimensiones	156 × 234 × 13 mm · 412 g
Lengua	Alemán