Publikation

Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)

Franz Baader, Hans-Jürgen Bürckert

In: Eric Domenjoud , Claude Kirchner (Hrsg.). Proceedings of 1st CCL Workshop. Computational Chemistry List Workshop (CCL) 1st Nancy France Interner Bericht 93-R-023 CRIN 1993.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence