> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-Horn class Beteiligte: Nebel, Bernhard [Verfasser:in] Erschienen: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Erschienen in: Ulmer Informatik-Berichte ; 96,02 Umfang: Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: SS 5525 : Ulmer Informatik-Berichte Schlagwörter: Qualitative reasoning. Data processing ; Qualitatives Schließen ; Horn-Formel Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang