Lecture Notes in Artificial Intelligence 3229 Logics in Artificial Intelligence 9th European Confere
JELIA 20042004 年出版744 页ISBN：3540232427
Lecture Notes in Artificial Intelligence 4160 Logics in Artificial Intelligence 10th European Confer
JELIA 20062006 年出版516 页ISBN：354039625X
Choices and Constraints in Family Life 3rd Edition
Maureen Baker2014 年出版255 页ISBN：0199005376
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Artificial Intelligence 3419 Recent Advances in Constraints Joint ERCIM/CoLogNet In
CSCLP 20042005 年出版217 页ISBN：3540251766
Lecture Notes in Artificial Intelligence 3010 Recent Advances in Constraints Joint ERCIM/CoLogNET In
CSCLP 20032004 年出版285 页ISBN：3540218343
STUDIES IN GENERATIVE GRAMMAR 44 THE MATHEMATICS OF SYNTACTIC STRUCTURE TREES AND THEIR LOGICS
1999 年出版348 页ISBN：3110162733
