Automated Theorem Proving: A Logical BasisE-bookAutomated Theorem Proving: A Logical BasisdiD.W. LovelandValutazione: 0 su 5 stelle0 valutazioniSalva Automated Theorem Proving: A Logical Basis per dopo