Tell your friends about this item:
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Theoretical Computer Science and General Issues Ken Mcmillan 2013 edition
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Theoretical Computer Science and General Issues
Ken Mcmillan
790 pages, 178 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 2, 2013 |
| ISBN13 | 9783642452208 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Pages | 794 |
| Dimensions | 155 × 235 × 41 mm · 1.11 kg |
| Language | German |
| Editor | McMillan, Ken |
| Editor | Middeldorp, Aart |
| Editor | Voronkov, Andrei |