Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "132390590"
Treffer 44 von 71
|
|
| Link zu diesem Datensatz | https://d-nb.info/947470859 |
| Titel | Solving hard qualitative temporal reasoning problems : evaluating the efficiency of using ORD horn class / Bernhard Nebel. Universität Ulm, Fakultät für Informatik |
| Person(en) | Nebel, Bernhard (Verfasser) |
| Verlag | Ulm : Univ., Fak. für Informatik |
| Zeitliche Einordnung | Erscheinungsdatum: 1996 |
| Umfang/Format | 17 S. : graph. Darst. ; 30 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Nebel, Bernhard: Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-Horn class |
| ISBN/Einband/Preis | geh. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Ulmer Informatik-Berichte ; Nr. 96,02 |
| Anmerkungen | Literaturverz. S. 15 - 17 |
| Schlagwörter | Qualitatives Schließen ; Horn-Formel |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1996 B 10716 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1996 B 10716 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 44 von 71
Administration
