Automated Theorem Proving: A Logical BasiseBookAutomated Theorem Proving: A Logical BasiskaryaD.W. LovelandPenilaian: 0 dari 5 bintang0 penilaianSimpan Automated Theorem Proving: A Logical Basis untuk nanti