Automated Theorem Proving: A Logical BasisCărți electroniceAutomated Theorem Proving: A Logical BasisdinD.W. LovelandEvaluare: 0 din 5 stele0 evaluăriSalvați Automated Theorem Proving: A Logical Basis pentru mai târziu