Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
A practical logic of cognitive systems volume 2 the reach of abduction insight and trial
dov m.gabbay and john woods2005 年出版476 页ISBN：044451791x
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...
Lecture Notes in Artificial Intelligence 3259 Computational Logic in Multi-Agent Systems 4th Interna
CLIMA IV Fort Lauderdale2222 年出版0 页ISBN：
The Logic of Financial Nationalism The Challenges of Cooperation and the Role of International Law
Federico Lupo-Pasini2017 年出版298 页ISBN：1107189027
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
THE LOGIC OF SUBCHAPTER K:A CONCEPTUAL GUIDE TO THE TAXATION OF PARTNERSHIPS FOURTH EDITION
LAURA E.CUNNINGHAM AND NOEL B.CUNNINGHAM2011 年出版263 页ISBN：9780314199850
