Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "1037902459"
Treffer 1 von 8
|
|
| Link zu diesem Datensatz | https://d-nb.info/947531165 |
| Titel | A first-order axiomatization of the theory of finite trees / Rolf Backofen ; James Rogers ; K. Vijay-Shanker. [Deutsches Forschungszentrum für Künstliche Intelligenz GmbH] |
| Person(en) |
Backofen, Rolf (Verfasser) Rogers, James (Verfasser) Vijay-Shanker, K. (Verfasser) |
| Verlag | Kaiserslautern ; Saarbrücken : DFKI |
| Zeitliche Einordnung | Erscheinungsdatum: 1995 |
| Umfang/Format | 35 S. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | geh. |
| Identifikationsnummern | Reportnummer: DFKI RR 95 05 |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Frankfurt |
Signatur: 1996 B 10852
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1996 B 10852
Bereitstellung in Leipzig |
Treffer 1 von 8
Administration
