Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'99, Saratoga Springs, Ny, Usa, June 7-11, 1999, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Neal V Murry - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540660866 - 26 de mayo de 1999
En caso de que portada y título no coincidan, el título será el correcto

Neal V Murry
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'99, Saratoga Springs, Ny, Usa, June 7-11, 1999, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Precio
Mex$ 958
sin IVA

Pedido desde almacén remoto

Entrega prevista 7 - 19 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Neal V Murry

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

These revised papers on the mechanization of reasoning with tableaux and similar methods range from theoretical foundations to implementation and systems development and applications as well as covering a broad area of logic calculi.

334 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de mayo de 1999
ISBN13 9783540660866
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 334
Dimensiones 156 × 234 × 18 mm   ·   480 g
Lengua Alemán  
Editor Murray, Neil V.

Más del mismo editor

Ver todo de Neal V Murry ( Ej. Paperback Book )