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 2

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

Algebraic Normal Form: Boolean logic, form, Automated theorem proving, Random number generation,...