| Signatur | NL 288/143 |
|---|---|
| Gegenstand | Akte (1) |
| Titel | Korrespondenz zu einem Forschungsprojekt zur maschinellen Lösung von formalisierbaren Problemen |
| Enthält | Briefwechsel Hasenjaegers mit potenziellen Mitarbeitern in diesem Projekt (John Denes, Heinz-Jürgen Weise, François-Yves Villemin) |
| Beilage | Beilagen zu Briefen von Denes u.a.: Adressliste zum Thema "mechanisches Beweisen", Zusammenfassung der Dissertation von Denes |
| Intus | Projektbeschreibung eines überregionalen Forschungsprogramms zur Informatik |
| Laufzeit | 24.10.1969 - 24.06.1970 |
| Umfang | 46 Bl. ms., Ds., hektogr. u. hs. |
| Fachgebiet | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Formalangaben | Sprachen: Deutsch , Englisch |
| Rechtehinweis | CC BY-SA 4.0 |
