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 |
Θέματα: |
Παρόμοια τεκμήρια
-
The description logic handbook : theory, implementation, and applications /
Έκδοση: (2003) -
Handbook of philosophical logic
Έκδοση: (2001) -
Handbook of mathematical logic /
Έκδοση: (1977) -
Descriptive complexity /
ανά: Immerman, Neil, 1953-
Έκδοση: (1999) -
The languages of logic an introduction to formal logic
ανά: Guttenplan, Samuel D.
Έκδοση: (1997)