Featured
Compare webshops (2)
Pages: 64, Paperback, Betascript Publishers
OmniScriptum
E Equational Theorem Prover: Automated Proving, First Order Logic, Superposition Calculus
Betascript Publishers
Optical Resolution: resolution, Chiral Airy pattern, Aperture, disk, Wavelength, Diameter, Rayleigh
Independently Published
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
Back to top