Implementing restart model elimination and theory model elimination on top of SETHEO
Koblenz-Landau: Univ., Inst. f. Informatik 1995 24 S. (Fachberichte Informatik ; 5/95)
Erscheinungsjahr: 1995
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Schumann, Johann (Autor)