Recomienda este artículo a tus amigos:
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 2005 edition
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
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 |