THIRTY-THREE MINIATURES MATHEMATICAL AND ALGORITHMIC APPLICATIONS OF LINEAR ALGEBRA
2010 年出版182 页ISBN：0821849778
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
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
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：
PADS Logic/Layout原理图与电路板设计 第2版
周润景，邵绪晨等编著2017 年出版371 页ISBN：9787111578208
以具体电路为范例详尽讲解元器件建库、原理图设计，电路板布局、布线、仿真，CAM文件输出等电路板设计的全过程。原理图设计采用PADS Logic软件，讲解元器件符号的创建、元件管理及原理图设计；电路板设计采用PADS...
A Guide To Mathematical Methods For Physicists With Problems and Soultions
Michela Petrini2017 年出版328 页ISBN：
Mathematical morphology and its applications to image and signal processing
ed. by Petros Maragos and Ronald W.Schafer and muhammad akmal but...1996 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3259 Computational Logic in Multi-Agent Systems 4th Interna
CLIMA IV Fort Lauderdale2222 年出版0 页ISBN：
