F H Baader - Wissenschaftliche Veröffentlichungen

(1 - 8 von 10

)

Vorlesung: Termersetzungssysteme

wwwmath.uni-muenster.de

Vorlesung, Termersetzungssysteme

Manfred Jeusfeld — Informatik 5 (Information Systems)

dbis.rwth-aachen.de

Intelligent Access to Heterogeneous Information. Published in Proceedings of the 4th Workshop KRDB-97, Athen, Griechenland, August by F. Baader, ...

Unifikationsgrammatik

www2.hu-berlin.de

F. Baader & K. Schulz, Unification Theory – An Introduction. CIS Ber München C. A. Black, A PC-PATR Implementation of GB ...

Abstracts of TACOS Papers

www-ags.dfki.uni-sb.de

On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations, F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, and G. Smolka.

Forschungsschwerpunkte

www.informatik.uni-bremen.de

F. Baader, S. Brandt, R. Küsters: Matching under Side Conditions in Description Logics. LTCS Report , LuFG Theoretische Informatik, RWTH Aachen,

Göttinger Digitalisierungszentrum: Metadata

gdz.sub.uni-goettingen.de

Göttinger Digitalisierungszentrum - GDZ

Publications Ralf Küsters

www.ti.informatik.uni-kiel.de

F. Baader and R. Küsters: Non-Standard Inferences in Description Logics: The Story So Far. In International Mathematical Series, volume 4 Mathematical ...

WSV | Beschreibungslogiken

www2.informatik.uni-hamburg.de

In F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi & P. Patel-Schneider (eds.) The Description Logic Handbook (pp ). Cambridge UP: Cambridge, NY.

Verwandte Suchanfragen zu F H Baader

Person "Baader" (7)
Vorname
Name "Baader" (521)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen F H Baader