Early Output Logic and Anti-Tokens / Brej, Charles, author.

Linear Logic and Coordination for Parallel Programming / Cruz, Flávio Manuel Fernandes, author.

Three-Valued Combinational and Sequential Logic Networks / Porat, D. I., author.

The exploitation of parallelism in logic simulation / Whitaker, Nigel Allen, author.

Learning and soft computing support vector machines, neural networks, and fuzzy logic models /

A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications /

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing Seising, Rudolf. editor.

Logic.

Logic.

Logic.

Logic.

Mathematical Logic and Formal Languages.