Refinements of theory model elimination and a variant without contrapositives
Koblenz: Inst. für Informatik, Univ. 1993 38 S. (Fachberichte Informatik ; 8/93)
Erscheinungsjahr: 1993
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)