Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2005. gada 24. novembris |
| ISBN13 | 9783540305538 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 744 |
| Izmēri | 155 × 235 × 38 mm · 1,05 kg |
| Valoda | Vācu |
| Redaktors | Sutcliffe, Geoff |
| Redaktors | Voronkov, Andrei |