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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540755586 - October 8, 2007
In case cover and title do not match, the title is correct

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Price
A$ 84.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 14 - 26, 2026
Christmas presents can be returned until 31 January
Add to your iMusic wish list

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 all