Proceedings Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
IEEE Computer society1991 年出版417 页ISBN:
Lecture Notes in Artificial Intelligence 3066 Rough Sets and Current Trends in Computing 4th Interna
RSCTC 20042004 年出版853 页ISBN:3540221174
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版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 3255 Advances in Databases and Information Systems 8th East Europe
ADBIS 20042004 年出版423 页ISBN:3540232435
Lecture Notes in Artificial Intelligence 4259 Rough Sets and Current Trends in Computing 5th Interna
RSCTC 20062006 年出版951 页ISBN:3540476938
Lecture Notes in Computer Science 4723 Advances in Intelligent Data Analysis VII 7th International S
IDA 20072007 年出版380 页ISBN:9783540748243