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
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.
Añadir a tu lista de deseos de iMusic

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

Mere med samme udgiver