Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003
Herausgeber (Verlag)	.
Seiten	175-180
Publikationsstatus	Veröffentlicht - 2003
Veranstaltung	International Workshop on Principles of Diagnosis - Washington D.C., USA / Vereinigte Staaten Dauer: 11 Juni 2003 → 14 Juni 2003

Name	DX Woskshop Series

Konferenz	International Workshop on Principles of Diagnosis
Land/Gebiet	USA / Vereinigte Staaten
Ort	Washington D.C.
Zeitraum	11/06/03 → 14/06/03

Andere Dateien und Links

VHDL - Fehlersuche in VHDL-Programmen
Peischl, B. J., Köb, D. & Wotawa, F.
1/11/01 → 31/08/04
Projekt: Forschungsprojekt

@inproceedings{d558fee302b9461cbe741cdd469fb946,

title = "Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories",

author = "Bernhard Peischl and Franz Wotawa",

year = "2003",

language = "English",

series = "DX Woskshop Series",

publisher = ".",

pages = "175--180",

booktitle = "DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003",

note = "International Workshop on Principles of Diagnosis ; Conference date: 11-06-2003 Through 14-06-2003",

}

TY - GEN

T1 - Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

AU - Peischl, Bernhard

AU - Wotawa, Franz

PY - 2003

Y1 - 2003

UR - http://monet.aber.ac.uk/dx2003/

M3 - Conference paper

T3 - DX Woskshop Series

SP - 175

EP - 180

BT - DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003

PB - .

T2 - International Workshop on Principles of Diagnosis

Y2 - 11 June 2003 through 14 June 2003

ER -