International Workshop on Principles of Diagnosis

Peischl, B. J. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience 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