Proceedings Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
IEEE Computer society1991 年出版417 页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 3255 Advances in Databases and Information Systems 8th East Europe
ADBIS 20042004 年出版423 页ISBN:3540232435
Lecture Notes in Computer Science 3631 Advances in Databases and Information Systems 9th East Europe
ADBIS 20052005 年出版393 页ISBN:3540285857
Lecture Notes in Computer Science 4152 Advances in Databases and Information Systems 10th East Europ
ADBIS 20062006 年出版448 页ISBN:3540378995
Lecture Notes in Computer Science 4016 Advances in Web-Age Information Management 7th International
WAIM 20062006 年出版606 页ISBN:3540352252
Lecture Notes in Computer Science 3977 Advances in XML Information Retrieval and Evaluation 4th Inte
INEX 20052006 年出版556 页ISBN:3540349626