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
COMPUTING IN PSYCHOLOGY:AN INTRODUCTION TO PROGRAMMING METHODS AND CONCEPTS
1987 年出版354 页ISBN：0131658123
Digital logic: applications and design = 数字逻辑: 应用与设计 (英文版)
John M. Yarbrough2002 年出版704 页ISBN：711110837X
本书系统地介绍了数字电路设计与分析的基础知识，内容全面，实用性强。首先从数字电路、数制系统等基本概念入手；然后论述组合逻辑、时序电路的分析与设计以及异步时序电路；最后讨论了数字开关电路。书中提供的数...
