Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15-17, 1996 - Proceedings - Lecture Notes in Computer Science - Pierangelo Miglioli - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540612087 - 24 de abril de 1996
En caso de que portada y título no coincidan, el título será el correcto

Pierangelo Miglioli
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15-17, 1996 - Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

These conference proceedings present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the book also contains several papers dealing with other approaches to automated reasoning.

336 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 24 de abril de 1996
ISBN13 9783540612087
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 336
Dimensiones 156 × 234 × 18 mm   ·   485 g
Lengua Alemán  
Editor Miglioli, Pierangelo
Editor Moscato, Ugo
Editor Mundici, Daniele
Editor Ornaghi, Mario

Mere med samme udgiver

Ver todo de Pierangelo Miglioli ( Ej. Paperback Book )