| 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 |
| Permalink | https://digital-dev.deutsches-museum.de/item/NL-183-573 |
| Datensatz im XML-Format |
Zum Austausch und Weiterverarbeitung der Daten nutzen wir maschinenlesbare, standardisierte XML-Formate wie LIDO (Sammlung), METS/MODS (Bibliothek) und EAD (Archiv). Hier können Sie die XML-Datei des ausgewählten Datensatzes herunterladen. Wenn Sie Fragen haben, kontaktieren Sie uns gerne per E-Mail an digital@deutsches-museum.de. XML des Datensatzes herunterladen |
|---|---|
| Bilder | Einzelbilder können in der Toolbar des Viewers heruntergeladen werden. Für einen vollständigen Download aller Bilder eines Datensatzes kontaktieren Sie uns gerne per E-Mail an digital@deutsches-museum.de. |
