A disjunctive positive refinement of model elimination and its application to subsumption deletion
Koblenz-Landau: Univ., Inst. f. Informatik 1995 48 S. (Fachberichte Informatik ; 6/95)
Erscheinungsjahr: 1995
Publikationstyp: Buch
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Brüning, Stefan (Autor)
