Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
Treffer 612 von 635
|
|
| Link zu diesem Datensatz | https://d-nb.info/942644883 |
| Art des Inhalts | Hochschulschrift |
| Titel | Algorithms for constraints in deduction and knowledge representation / von Werner Nutt-Wahlmann |
| Person(en) | Nutt-Wahlmann, Werner (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 1994 |
| Umfang/Format | XVI, 193 S. ; 30 cm |
| Hochschulschrift | Saarbrücken, Univ., Diss., 1994 |
| Sprache(n) | Englisch (eng) |
| Schlagwörter |
Wissensrepräsentationssprache ; Constraint <Künstliche Intelligenz> ; Unifikationstheorie Deduktionssystem ; Constraint <Künstliche Intelligenz> ; Unifikationstheorie |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: H 1994 B 1989
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: H 1994 B 1989
Bereitstellung in Leipzig |
Treffer 612 von 635
Administration
