A unified approach to theory reasoning
Koblenz: Inst. für Informatik, Univ. 1992 59 S. (Fachberichte Informatik ; 1992,15)
Erscheinungsjahr: 1992
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |
Koblenz: Inst. für Informatik, Univ. 1992 59 S. (Fachberichte Informatik ; 1992,15)
Erscheinungsjahr: 1992
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |