International Workshop on Principles of Diagnosis

Peischl, B. J. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Computing Diagnosis Efficiently: A Fast Theorem Prover For Propositional Horn Theories
Zeitraum13 Jun 2003
VeranstaltungstypKonferenz
OrtWashington D.C., USA / Vereinigte Staaten