Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
EMPHASIS ART:A QUALITATIVE ART PROGRAM FOR ELEMENTARY AND MIDDLE SCHOOLS SIXTH EDITION
1997 年出版362 页ISBN:0673997367
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN:3540285385
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN:9783540721994