Lecture Notes in Artificial Intelligence 3801 Computational Intelligence and Security International
CIS 2005 Xian2222 年出版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 4016 Advances in Web-Age Information Management 7th International
WAIM 20062006 年出版606 页ISBN:3540352252
Lecture Notes in Computer Science 4033 Performability Has its Price 5th International Workshop on In
ICQT 20062006 年出版106 页ISBN:3540354565
Lecture Notes in Computer Science 3739 Advances in Web-Age Information Management 6th International
WAIM 20052005 年出版930 页ISBN:3540292276
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN:3540283722