Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN:354038409X
Lecture Notes in Computer Science 3471 Power-Aware Computer Systems 4th International Workshop
PACS 2004 Portland2222 年出版0 页ISBN:
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 4723 Advances in Intelligent Data Analysis VII 7th International S
IDA 20072007 年出版380 页ISBN:9783540748243