

An edition of Logic for programming artificial intelligence and reasoning (2003)
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science)
By Moshe Y. Vardi,Andrei Voronkov
Publish Date
November 5, 2003
Publisher
Springer
Language
eng
Pages
437