Calculatrices digitales. Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme
- 1 December 1954
- journal article
- Published by Springer Nature in Annali di Matematica Pura ed Applicata (1923 -)
- Vol. 37 (1) , 175-217
- https://doi.org/10.1007/bf02415099
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Automatische Rechenplanfertigung bei programmgesteuerten RechenmaschinenZeitschrift für angewandte Mathematik und Physik, 1952
- Programmgesteuerte digitale Rechengeräte (elektronische Rechenmaschinen)Published by Springer Nature ,1951
- Grundzüge der Theoretischen LogikPublished by Springer Nature ,1949
- Über den Allgemeinen Plankalkül als Mittel zur Formulierung schematisch-kombinativer AufgabenArchiv der Mathematik, 1948
- On Computable Numbers, with an Application to the EntscheidungsproblemProceedings of the London Mathematical Society, 1937