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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Finished
VHDL - Debugging VHDL Programs (DEV)
Peischl, B. J., Köb, D. & Wotawa, F.
1/11/01 → 31/08/04
Project: Research project

Projects