de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Knowledge-based verification of service compositions
I Preliminaries
2 Domain Knowledge and Logic
2.2 Description Logics, Ontologies, and Knowledge Bases
2.2.2 Reasoning in DLs: General Concept Inclusion
Wird geladen ...
Wird geladen ...