Logic For Programming Artificial Intelligence And Reasoning 14th International Conference | Desertcart Hong Kong
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science, 4790)