Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Abgeschlossen
VHDL - Fehlersuche in VHDL-Programmen
Peischl, B. J., Köb, D. & Wotawa, F.
1/11/01 → 31/08/04
Projekt: Forschungsprojekt

Projekte