Calculatrices digitales: Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme

Translated title of the contribution: Digital computers: On encoding logical-mathematical formulas using the machine itself during program conception

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

Access to Document

@book{21ca72f7d1af4ccea6c5575b58acc181,

title = "Calculatrices digitales: Du d{\'e}chiffrage de formules logico-math{\'e}matiques par la machine m{\^e}me dans la conception du programme",

author = "Corrado B{\"o}hm and Peter Sestoft",

note = "Translation into English of Corrado B{\"o}hm's ETH Z{\"u}rich PhD dissertation from the French original published 1954 in Bologna, Italy.",

year = "2016",

month = may,

day = "4",

language = "Fransk",

}

TY - RPRT

T1 - Calculatrices digitales

T2 - Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme

AU - Böhm, Corrado

A2 - Sestoft, Peter

N1 - Translation into English of Corrado Böhm's ETH Zürich PhD dissertation from the French original published 1954 in Bologna, Italy.

PY - 2016/5/4

Y1 - 2016/5/4

M3 - Rapport

BT - Calculatrices digitales

ER -