Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings - Lecture Notes in Artificial Intelligence - Geoff Sutcliffe - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540305538 - 24 de noviembre de 2005
En caso de que portada y título no coincidan, el título será el correcto

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings - Lecture Notes in Artificial Intelligence 2005 edition

Precio
Mex$ 1.845
sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 6 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Geoff Sutcliffe
Añadir a tu lista de deseos de iMusic

Aún no valorado

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.


744 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 24 de noviembre de 2005
ISBN13 9783540305538
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 744
Dimensiones 155 × 235 × 38 mm   ·   1,05 kg
Lengua Alemán  
Editor Sutcliffe, Geoff
Editor Voronkov, Andrei

Más del mismo editor