Lecture Notes in Computer Science 2998 Functional and Logic Programming 7th International Symposium
FLOPS 20062004 年出版307 页ISBN：354021402X
Lecture Notes in Computer Science 2024 Functional and Logic Programming 5th International Symposium
FLOPS 2001 Tokyo2222 年出版0 页ISBN：
GRAPH STRUCTRE AND MONADIC SECOND-ORDER LOGIC A LANGUAGE-THEORETIC APPROACH
BRUNO COURCELLE JOOST ENGELFRIET2012 年出版728 页ISBN：0521898331
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
Fundamentals of digital logic with Verilog design Third Edition = 数字逻辑与Verilog设计 (第3版)
Stephen Brown ; Zvonko Vranesic2014 年出版848 页ISBN：7302366850
FIELD-PROGRAMMABLE GATE ARRAYS Reconfigurable Logic for Rapid Prototyping and Implementation of Digi
1995 年出版327 页ISBN：0471556653
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
