Artificial Intelligence, Automated Reasoning and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings - Lecture Notes in Computer Science - J Calmet - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540438656 - 19 de junio de 2002
En caso de que portada y título no coincidan, el título será el correcto

J Calmet
Artificial Intelligence, Automated Reasoning and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 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

Constitutes the proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, held in France in 2002. The 24 papers cover automated theorem proving, logical reasoning, mathematical modeling, algebraic computations and more.

350 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de junio de 2002
ISBN13 9783540438656
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 350
Dimensiones 156 × 234 × 19 mm   ·   508 g
Lengua Alemán  
Editor Benhamou, Belaid
Editor Calmet, Jacques C.
Editor Caprotti, Olga
Editor Henocque, Laurent
Editor Sorge, Volker

Mas por J Calmet

Mostrar todo

Mere med samme udgiver

Ver todo de J Calmet ( Ej. Paperback Book )