Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings by Helmut Veith | Menrva Books | MenrvaBooks