International Workshop on Principles of Diagnosis

Peischl, B. J. (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: Computing Diagnosis Efficiently: A Fast Theorem Prover For Propositional Horn Theories
Period13 Jun 2003
Held atInternational Workshop on Principles of Diagnosis
Event typeConference
LocationWashington D.C., United States