Details of Book: Logic For Programming, Artificial Intelligence, And Reasoning: 15th International Conference, Lpar 2008, Doha, Qatar, November 22-27, 2008, Proceedings Book: Logic For Programming, Artificial Intelligence, And Reasoning: 15th International Conference, Lpar 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Author: Iliano Cervesato, Helmut Veith, Andrei Voronkov
ISBN: 3540894381
ISBN-13: 9783540894384
, 978-3540894384
Binding: Paperback
Publishing Date: 2008/12/01
Publisher: Springer-verlag New York Inc
Number of Pages: 714
Language: English