Lecture Notes in Artificial Intelligence 3849 Fuzzy Logic and Applications 6th International Worksho
WILF 20052006 年出版438 页ISBN：3540325298
Lecture Notes in Computer Science 3945 Functional and Logic Programming 8th International Symposium
FLOPS 20062006 年出版294 页ISBN：3540334386
LOGIC AND COMPUTER DESIGN FUNDAMENTALS FOURTH EDITION
M.MORRIS MANO CHARLES R.KIME2010 年出版678 页ISBN：7111303105
本书组织良好，内容简洁、全面，从当代工程观点来进行表述。书中以清晰的解释和逐步延伸的实例来帮助读者理解内容，实例涵盖了从简单的组合应用到建立在RISC内核基础上的CISC结构。它全面覆盖了传统的内容，更加重...
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：
THE ART OF REASONING AN INTRODUCTION TO LOGIC AND CRITICLA THINKING FOURTH EDITION
DAVID KELLEY2014 年出版605 页ISBN：9780393930788
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
