Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN:
Paulus;H. E.;(Harold E.); Furst;Daniel E.;Dromgoole;Sydney H.1987 年出版488 页ISBN:0443080119