Data Structures and Programming Techniques
Herman A.Maurer Camille C.Price2222 年出版228 页ISBN:0131970380
BASIC WITH STYLE PROGRAMMING PROVERBS
PAUL A.NAGIN HENRY F.LEDGARD2222 年出版134 页ISBN:0810451158
Lecture Notes in Computer Science 3203 Field-Programmable Logic and Applications 14th International
FPL 20042004 年出版1198 页ISBN:3540229892
Lecture Notes in Artificial Intelligence 4048 Deontic Logic and Artificial Normative Systems 8th Int
DEON 20062006 年出版273 页ISBN:3540358420
Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN:3540266550
Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International
FPL 20012001 年出版665 页ISBN:3540424997
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
本书是作者近年来对语言、逻辑和认知研究的系统性学术成果,从现代语言学和逻辑学的校对,阐述与语言、逻辑和认知有关的一些理论问题。