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 4537 Advances in Web and Network Technologies
and Information Management APWeb/WAIM 2007 International Workshops:DBMAN 20072007 年出版0 页ISBN: