Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science - R Gore - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540422549 - 6 de junio de 2001
En caso de que portada y título no coincidan, el título será el correcto

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science 2001 edition


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de R Gore
Añadir a tu lista de deseos de iMusic

Aún no valorado

708 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de junio de 2001
ISBN13 9783540422549
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 712
Dimensiones 155 × 235 × 36 mm   ·   1,08 kg
Lengua Alemán  
Editor Gore, Rajeev
Editor Leitsch, Alexander
Editor Nipkow, Tobias

Más del mismo editor