Institut für Informatik
FB 4: Informatik / Universität Koblenz
Universitätsstraße 1, 56070 Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Ergebnisse pro Seite:
10
Baumgartner, P.; Furbach, U.
Refinements for Restart Model Elimination
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Tableaux for Diagnosis Applications