Title: Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
Subjects: Logic design, Artificial intelligence, Computer science, Software engineering, Logic programming, Congresses, Automatic theorem proving, Information theory