Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN:354038409X
Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN:3540100075
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 3255 Advances in Databases and Information Systems 8th East Europe
ADBIS 20042004 年出版423 页ISBN:3540232435