A completeness proof technique for resolution with equality
Koblenz: Inst., Univ. 1991 18 S. (Fachberichte Informatik ; 1991,3)
Erscheinungsjahr: 1991
Publikationstyp: Buch
Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Koblenz: Inst., Univ. 1991 18 S. (Fachberichte Informatik ; 1991,3)
Erscheinungsjahr: 1991
Publikationstyp: Buch
Geprüft | Bibliothek |