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

Corrado Böhm, Peter Sestoft (Oversætter)

Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Bidragets oversatte titel	Digital computers: On encoding logical-mathematical formulas using the machine itself during program conception
Originalsprog	Fransk

Antal sider	50
Status	Udgivet - 4 maj 2016

Adgang til dokumentet

@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 -