Skip to main navigation
Skip to search
Skip to main content
English
Deutsch
Home
Persons
Research Units
Research Outputs
Projects
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
International Workshop on Principles of Diagnosis
Peischl, B. J.
(Speaker)
Institute of Software Technology (7160)
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
Period
13 Jun 2003
Event title
International Workshop on Principles of Diagnosis
Event type
Conference
Location
Washington D.C., United States