Korrespondenz zu einem Forschungsprojekt zur maschinellen Lösung von formalisierbaren Problemen

Signature mark	NL 288/143
Subject	Akte (1)
Title	Korrespondenz zu einem Forschungsprojekt zur maschinellen Lösung von formalisierbaren Problemen
Contains	Briefwechsel Hasenjaegers mit potenziellen Mitarbeitern in diesem Projekt (John Denes, Heinz-Jürgen Weise, François-Yves Villemin)
Insert	Beilagen zu Briefen von Denes u.a.: Adressliste zum Thema "mechanisches Beweisen", Zusammenfassung der Dissertation von Denes
Intus	Projektbeschreibung eines überregionalen Forschungsprogramms zur Informatik
Duration	24.10.1969 - 24.06.1970
Scope	46 Bl. ms., Ds., hektogr. u. hs.
Subject area	Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80>
Formal information	Languages: Deutsch , Englisch
Rights notice	CC BY-SA 4.0
Permalink	https://digital-dev.deutsches-museum.de/item/NL-288-143

XML data set	We use machine-readable, standardized formats for exchanging and processing data. LIDO-XML is available for data from the object collections. Data from the library is provided as METS/MODS-XML and data from the archive as EAD-XML. Download the XML data set
Images	Individual images can be downloaded via the arrow icon in the menu bar below the image view. The download includes the displayed image in medium resolution JPEG format, embedded in a ZIP container.
High-resolution images, image collections	We are happy to provide high-resolution images and 3D models, as well as data and image collections (e.g. all images of an object), upon request.