International Workshop on Principles of Diagnosis

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
Event titleInternational Workshop on Principles of Diagnosis
Event typeConference
LocationWashington D.C., United States