46 Ergebnisse für: ceur
-
SemDAV – Wikipedia
http://web.archive.org/web/20160428214009/https://de.wikipedia.org/wiki/SemDAV
Keine Beschreibung vorhanden.
-
Profil Prof. Dr. Klaus Tochtermann | ZBW
http://www.zbw.eu/de/forschung/klaus-tochtermann/
ZBW-Mitarbeiterprofil des Direktors Professor Dr. Klaus Tochtermann: Arbeitsschwerpunkte, beruflicher Hintergrund, Mitgliedschaften und Publikationen.
-
Profil Prof. Dr. Klaus Tochtermann | ZBW
http://www.zbw.eu/ueber_uns/profile/tochtermann.htm
ZBW-Mitarbeiterprofil des Direktors Professor Dr. Klaus Tochtermann: Arbeitsschwerpunkte, beruflicher Hintergrund, Mitgliedschaften und Publikationen.
-
Profil Prof. Dr. Klaus Tochtermann | ZBW
https://www.zbw.eu/forschung/klaus-tochtermann/
ZBW-Mitarbeiterprofil des Direktors Professor Dr. Klaus Tochtermann: Arbeitsschwerpunkte, beruflicher Hintergrund, Mitgliedschaften und Publikationen.
-
Datenbank- und Informationssysteme - Veröffentlichungen (Universität Paderborn)
http://is.uni-paderborn.de/uploads/tx_sibibtex/heindorf2016_CIKM.pdf
Keine Beschreibung vorhanden.
-
Prof. Dr. Steffen Staab | Institute WeST
http://west.uni-koblenz.de/de/ueber-uns/team/prof-dr-steffen-staab
Kurzlebenslauf
-
John Samuel 🏳️🌈 auf Twitter: "Knowledge organization systems on @Wikidata. A slightly modified query from https://t.co/HtD7pr3TiR by @nichtich https://t.co/sjnWDTexcg… https://t.co/NyAg78GCFd"
https://twitter.com/jsamwrites/status/1060440441013833728
Keine Beschreibung vorhanden.
-
Hochschule Mittweida | Dipl.-Inf. Robert Knauf
http://www.khaosgott.de
Keine Beschreibung vorhanden.
-
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …