Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Introduction."
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/911269525 |
| Titel | A generalized factorization rule based on the introduction of Skolem terms / Uwe Egly. GMD ... |
| Person(en) | Egly, Uwe (Verfasser) |
| Verlag | St. Augustin : GMD [u.a.] |
| Zeitliche Einordnung | Erscheinungsdatum: 1991 |
| Umfang/Format | 10 S. ; 30 cm |
| ISBN/Einband/Preis | geh. |
| Beziehungen | Tasso-Report ; No. 25 |
| Anmerkungen | Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Frankfurt |
Signatur: DKb 91/2680
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SA 11416-25
Bereitstellung in Leipzig |

