Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro Contributor(s): Fermüller, Christian G. (Editor), Voronkov, Andrei (Editor) |
|
ISBN: 364216241X ISBN-13: 9783642162411 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback Published: September 2010 |
Additional Information |
BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Logic Design - Computers | Compilers |
Dewey: 006.3 |
LCCN: 2010935496 |
Series: Lecture Notes in Computer Science |
Physical Information: 1" H x 6.1" W x 9.3" (2.07 lbs) 656 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia. |