Publication year: 2007
: 978-3-540-75560-9
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.
: Computer Science, Automat, artificial intelligence, automated reasoning, formal method, intelligence, logic, programming