Review of "Boolean Functions and Computation Models by Peter Clote and Evangelos Kranakis", Springer-Verlag, 2002
Review of "Boolean Functions and Computation Models by Peter Clote and Evangelos Kranakis", Springer-Verlag, 2002
复制标题
“Peter Clote 和 Evangelos Kranakis 的布尔函数和计算模型”评论，Springer-Verlag，2002 年
DOI：
10.1145/1054916.1054922
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
R. Gregory Taylor
中科院分区：
文献类型：
--
作者：
R. Gregory Taylor
这本内容广泛的专著涵盖了许多研究领域，包括布尔函数和布尔电路族、命题证明系统、顺序和并行计算模型以及函数代数。如果说有什么东西把它们联系在一起的话，那肯定是复杂性。
This wide-ranging monograph covers a number of research areas including Boolean functions and Boolean circuit families, propositional proof systems, sequential and parallel models of computation, and function algebras. If anything links them all together, it is surely complexity.