An introduction to description logic

Zapisane w:

Personen und Körperschaften:	Baader, Franz (Autor), Horrocks, Ian (Autor), Lutz, Carsten (Autor), Sattler, Ulrike (Autor)
Tytuł:	An introduction to description logic/ Franz Baader (Technische Universität, Dresden), Ian Horrocks (University of Oxford), Carsten Lutz (Universität Bremen), Uli Sattler (University of Manchester)
Wydanie:	First published
Format:	Książka
Język:	Englisch
Wydane:	Cambridge, New York, Port Melbourne, Delhi, Singapore Cambridge University Press 2017
Hasła przedmiotowe:	Description logics > Textbooks Knowledge representation (Information theory) Conceptual structures (Information theory)
Verfügbar auch als:	Online-Ausgabe Baader, Franz, 1959 - , An introduction to description logic, Cambridge : Cambridge University Press, 2017, 1 Online-Ressource (viii, 255 Seiten)
Verfügbar auch als:	Online-Ausgabe Baader, Franz, An introduction to description logic, Cambridge : Cambridge University Press, 2017, 1 online resource (vii, 255 pages)
Źródło:	Verbunddaten SWB

Tematy
RVK-Notation:	SK 130 Logik und Grundlagen, Metamathematik, Monografien Logik und Grundlagen, Metamathematik, ST 300 Allgemeines Monografien Künstliche Intelligenz Allgemeines ST 125 Schaltungstheorie, Rechnerarithmetik, Logik Monografien Grundlagen der Informatik Schaltungstheorie, Rechnerarithmetik, Logik ST 304 Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Monografien Künstliche Intelligenz Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
Hasła przedmiotowe:	Description logics > Textbooks Knowledge representation (Information theory) Conceptual structures (Information theory) Terminologische Logik