Tell your friends about this item:
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings - Lecture Notes in Artificial Intelligence R Nieuwenhuis 2001 edition
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings - Lecture Notes in Artificial Intelligence
R Nieuwenhuis
Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet.
741 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | November 21, 2001 |
| ISBN13 | 9783540429579 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 741 |
| Dimensions | 155 × 233 × 38 mm · 1.73 kg |
| Language | German |
| Editor | Nieuwenhuis, Robert |
| Editor | Voronkov, Andrei |