Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings - Lecture Notes in Computer Science - Manuel Kauers - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540730835 - 19 de junio de 2007
En caso de que portada y título no coincidan, el título será el correcto

Manuel Kauers
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings - Lecture Notes in Computer Science

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 1 - 9 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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 book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.

423 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de junio de 2007
ISBN13 9783540730835
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 423
Dimensiones 156 × 234 × 22 mm   ·   644 g
Lengua Francés  

Mas por Manuel Kauers

Mostrar todo

Ver todo de Manuel Kauers ( Ej. Paperback Book y Hardcover Book )