Tell your friends about this item:
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science Nachum Dershowitz 2007 edition
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science
Nachum Dershowitz
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.
564 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 8, 2007 |
| ISBN13 | 9783540755586 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 564 |
| Dimensions | 155 × 235 × 29 mm · 884 g |
| Language | French |
| Editor | Dershowitz, Nachum |
| Editor | Voronkov, Andrei |
More by Nachum Dershowitz
Show allSee all of Nachum Dershowitz ( e.g. Paperback Book and Hardcover Book )
Christmas presents can be returned until 31 January