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: