International Workshop on Principles of Diagnosis

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