Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
MODERN MODALITIES:STUDIES OF THE HISTORY OF MODAL THEORIES FROM MEDIEVAL NOMINALISM TO LOGICAL POSIT
S.KNUUTTILA2222 年出版345 页ISBN：9027726787
VLSI ELECTRONICS MICROSTRUCTURE SCIENCE VOLUME 13
SIMON S.COHEN GENNADY SH.GILDENBLAT2222 年出版424 页ISBN：0122341139
Lecture Notes in Artificial Intelligence 4371 Computational Logic in Multi-Agent Systems 7th Interna
CLIMAA VII Hakodate2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3487 Computaitonal Logic in Multi-Agent Systems 5th Interna
CLMA V Lisbon2222 年出版0 页ISBN：
DEVELOPMENTS IN ENGLISH EXPANDING ELECTRONIC EVIDENCE
JEREMY SMITH2015 年出版0 页ISBN：
SPIN FLUCTUATIONS IN ITINERANT ELECTRON MAGNETISM
TORU MORIYA2222 年出版241 页ISBN：
