Using modelica programs for deriving propositional horn clause abduction problems

Bernhard Peischl*, Ingo Pill, Franz Wotawa

*Korrespondierende/r Autor/-in für diese Arbeit

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

Fingerprint

Untersuchen Sie die Forschungsthemen von „Using modelica programs for deriving propositional horn clause abduction problems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Engineering

Computer Science

Mathematics

Earth and Planetary Sciences