Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2000, St Andrews, Scotland, Uk, July 3-7, 2000 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Ron Dyckhoff - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540676973 - 21 de junio de 2000
En caso de que portada y título no coincidan, el título será el correcto

Ron Dyckhoff
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2000, St Andrews, Scotland, Uk, July 3-7, 2000 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 24 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

This text constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000. Topics covered range from theoretical foundations to implementation, systems development and applications.

440 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de junio de 2000
ISBN13 9783540676973
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 440
Dimensiones 156 × 234 × 23 mm   ·   635 g
Lengua Alemán  
Editor Dyckhoff, Roy

Mere med samme udgiver

Ver todo de Ron Dyckhoff ( Ej. Paperback Book )