The description logic handbook theory implementation, and applications
Άλλοι συγγραφείς: | Baader, Franz (Επιμελητής έκδοσης), Calvanese, Diego (Επιμελητής έκδοσης), McGuinness, Deborah (Επιμελητής έκδοσης), Nardi, Daniele (Επιμελητής έκδοσης), Patel - Schneider, Peter F. (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge
Cambridge University Press
2007
|
Έκδοση: | 2nd edition |
Θέματα: |
Παρόμοια τεκμήρια
-
A language that is an amalgam of propositional dynamic logic and description logic
ανά: Τσούτσα, Παρασκευή
Έκδοση: (2014) -
ΘΕΩΡΙΑ ΤΥΠΩΝ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016)