Algebraic Normal Form: Boolean logic, form, Automated theorem proving, Random number generation, Linear feedback shift register

E Equational Theorem Prover: Automated Proving, First Order Logic, Superposition Calculus

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 1

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 2

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 1