Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN：3540454586
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN：3540230246
THE POMITICAL UNCOMMONS THE CROSS-CULTURAL LOGIC OF THE GLOBAL COMMONS
KATHRYN MILUN2011 年出版231 页ISBN：0754671399
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
THE LOGIC OF EQUALITY A FORMAL ANALYSIS OF NON-DISCRIMINATION LAW
ERIC HEINZE2003 年出版143 页ISBN：075462319x
前提与结论 法律分析的符号逻辑 Premises and Conclusions Symbolic Logic for Legal Analysis
（美）罗伯特·罗德斯2015 年出版0 页ISBN：
JAVA ENTWORK PROGRAMMING AND DISTRIBUTED COMPUTING
DAVID REILLY MICHAEL REILLY著2004 年出版438 页ISBN：
DIGITAL LOGIC APPLICATIONS AND DESIGN
JOHN M.YARBROUGH2222 年出版698 页ISBN：711110837X
本书系统地介绍了数字电路设计与分析的基础知识，内容全面，实用性强。首先从数字电路、数制系统等基本概念入手；然后论述组合逻辑、时序电路的分析与设计以及异步时序电路；最后讨论了数字开关电路。书中提供的数...
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN：9783540749141
THE FOUNDATIONS OF ANALYSIS：A STRAIGHTFORWARD INTRODUCTION BOOK 1 LOGIC，SETS AND NUMBERS
K.G.BINMORE2222 年出版131 页ISBN：0521233224
