Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN：3540326545
Lecture Notes in Artificial Intelligence 3065 Deontic Logic in Computer Science 7th International Wo
DEON 20042004 年出版275 页ISBN：3540221115
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN：3540221743
语言、逻辑与认知 语言逻辑和语言哲学论集 an essay in language， logic and philosophy
蔡曙山著2007 年出版434 页ISBN：7302139156
本书是作者近年来对语言、逻辑和认知研究的系统性学术成果，从现代语言学和逻辑学的校对，阐述与语言、逻辑和认知有关的一些理论问题。
CONTEMPORARY LOGIC DESIGN SECOND EDITION
[美]RANDY H.KATZ GAETANO BORRIELLO著2005 年出版607 页ISBN：7121014475
本书保持第一版注重介绍数字逻辑设计的基本内容、概念和方法这一特点，又结合目前数字设计技术的发展，更新了相应的硬件技术，加入了最新的可编程逻辑技术的知识，还引入了电子设计自动化的设计工具，通过使用目前在...
METHODOLOGIES OF USING NEURAL NETWORK AND FUZZY LOGIC TECHNOLOGIES FOR MOTOR INCIPIENT FAULT DETECTI
MO-YUEN CHOW1997 年出版140 页ISBN：9810232659
Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN：3540221522
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
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
