Translated title of the contribution | Digital computers: On encoding logical-mathematical formulas using the machine itself during program conception |
---|---|
Original language | French |
Number of pages | 50 |
---|---|
Publication status | Published - 4 May 2016 |
Corrado Böhm, Peter Sestoft (Translator)
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
Translated title of the contribution | Digital computers: On encoding logical-mathematical formulas using the machine itself during program conception |
---|---|
Original language | French |
Number of pages | 50 |
---|---|
Publication status | Published - 4 May 2016 |