Algebra, Boolean.

Knowledge and time by: (書目-電子資源)

Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor / by: (書目-電子資源)

Operator algebras generated by commuting projections : = a vector measure approach / by: (書目-語言資料,印刷品)

Flexibility principles in boolean semantics = the interpretation of coordination, plurality, and scope in natural language / by: (書目-語言資料,印刷品)

Reconstructability analysis theory and applications by: (書目-語言資料,印刷品)

Set Theory = Boolean-Valued Models and Independence Proofs by: (書目-語言資料,印刷品)

Advanced BDD Optimization by: (書目-語言資料,印刷品)

Complexity classifications of Boolean constraint satisfaction problems by: (書目-語言資料,印刷品)

Test pattern generation using boolean proof engines by: (書目-語言資料,印刷品)

Sheaves of algebras over boolean spaces by: (書目-電子資源)

Boolean functions in coding theory and cryptography / by: (書目-語言資料,印刷品)

Set theory : = Boolean-valued models and independence proofs / by: (書目-語言資料,印刷品)

Duality theories for Boolean algebras with operators by: (書目-電子資源)

Boolean representations of simplicial complexes and matroids by: (書目-電子資源)

Bridging constraint satisfaction and Boolean satisfiability by: (書目-電子資源)

Boolean functions and their applications in cryptography by: (書目-電子資源)

Cryptographic Boolean functions and applications by: (書目-電子資源)

Cryptographic Boolean functions and applications / by: (書目-電子資源)

Analytic quotients : = theory of liftings for quotients over analytic ideals on the integers / by: (書目-語言資料,印刷品)

Sentential probability logic = origins, development, current status, and technical applications / by: (書目-語言資料,印刷品)

Operator algebras generated by commuting projections = a vector measure approach / by: (書目-語言資料,印刷品)

From objects to diagrams for ranges of functors / by: (書目-語言資料,印刷品)