Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
A practical logic of cognitive systems volume 2 the reach of abduction insight and trial
dov m.gabbay and john woods2005 年出版476 页ISBN：044451791x
Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN：3540095268
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN：3540083537
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
Separation，Recovery，and Purification in Biotechnology Recent Advances and Mathematical Modeling
2222 年出版228 页ISBN：0841209782
