Signatur | NL 183/573 |
---|---|
Gegenstand | Typoskript (2) |
Titel | [Systematische Verfahren für die Entscheidung der Erfüllbarkeit prädikatenlogischer Ausdrücke (Diss. A, Dr. rer. nat.)] |
Beilage | Typoskript: Böttger: Thesen (5 Bl. ms.) |
Laufzeit | 1980 |
Umfang | 279 Bl. hs. u. ms. (teilw. Kop.) |
Rechtehinweis | CC BY-SA 4.0 |