Didier Galmiche
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-a-mousson, France, May 13 - 16, 1997 Proceedings - Lecture Notes in Computer Science Didier Galmiche

Name: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-a-mousson, France, May 13 - 16, 1997 Proceedings - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Didier Galmiche

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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: International Conference, Tableaux 97, Pont-a-mousson, France, May 13 - 16, 1997 Proceedings - Lecture Notes in Computer Science

Didier Galmiche

The papers in this volume cover the spectrum of tableaux-based theorem proving and its applications, including theoretical foundations, methodological issues, implementation techniques, and system development. They deal with classical, modal, intuitionistic, many-valued and temporal logic.

380 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	29 de abril de 1997
ISBN13	9783540629207
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	380
Dimensiones	156 × 234 × 20 mm · 548 g
Lengua	Alemán
Editor	Galmiche, Didier