Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN:354042525X
Lecture Notes in Computer Science 2097 Advances in Databases 18th British National Conference on Dat
BNCOD 182001 年出版218 页ISBN:354042265X
THEORIE ET TECHNIQUES DE LINFORMATIQUE Logiciel et materiel Tome 1
1978 年出版496 页ISBN:2705703055
SECOND EDMONTON CONFERENCE ON APPROXIMATION THEORY CONFERENCE PROCEEDINGS . VOLUME 3
1983 年出版400 页ISBN:0821860046
EXTREMAL GRAPH THEORY WITH EMPHASIS ON PROBABILISTIC METHODS NUMBER 62
1986 年出版64 页ISBN:0821807129
THE IDEOLOGIES OF THEORY VOLUME 2:THE SYNTAX OF HISTORY
2222 年出版230 页ISBN:0816615756
MODERN POLITICAL THEORY FROM HOBBES TO MARX KEY DEBATES
JACK LIVELY AND ANDREW REEVE1989 年出版311 页ISBN:0415013518
RELATIVISTIC QUANTUM CHEMISTRY THE FUNDAMENTAL THEORY OF MOLECULAR SCIENCE
MARKUS REIHER AND ALEXANDER WOLF2009 年出版669 页ISBN:9783527312924