An ordered theory resolution calculus
Koblenz: Inst., Univ. 1991 20 S. (Fachberichte Informatik ; 1991,19)
Erscheinungsjahr: 1991
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Koblenz: Inst., Univ. 1991 20 S. (Fachberichte Informatik ; 1991,19)
Erscheinungsjahr: 1991
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |