Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings - Lecture Notes in Computer Science - Dominik C Weishaupt - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540439295 - 17 de julio de 2002
En caso de que portada y título no coincidan, el título será el correcto

Dominik C Weishaupt
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002. 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 are the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.

346 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de julio de 2002
ISBN13 9783540439295
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 346
Dimensiones 156 × 234 × 18 mm   ·   825 g
Lengua Alemán  
Editor Egly, Uwe
Editor Fernmuller, Christian G.

Mere med samme udgiver

Ver todo de Dominik C Weishaupt ( Ej. Paperback Book )