Automated Theorem Proving: A Logical BasiseBookAutomated Theorem Proving: A Logical BasisvonD.W. LovelandBewertung: 0 von 5 Sternen0 BewertungenAutomated Theorem Proving: A Logical Basis für später speichern