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
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
Digital logic: applications and design = 数字逻辑: 应用与设计 (英文版)
John M. Yarbrough2002 年出版704 页ISBN：711110837X
本书系统地介绍了数字电路设计与分析的基础知识，内容全面，实用性强。首先从数字电路、数制系统等基本概念入手；然后论述组合逻辑、时序电路的分析与设计以及异步时序电路；最后讨论了数字开关电路。书中提供的数...
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
