Automated Theorem Proving: A Logical BasisLivre électroniqueAutomated Theorem Proving: A Logical BasisdeD.W. LovelandÉvaluation : 0 sur 5 étoiles0 évaluationEnregistrer Automated Theorem Proving: A Logical Basis pour plus tard