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. thesisReport

Translated title of the contributionDigital computers: On encoding logical-mathematical formulas using the machine itself during program conception
Original languageFrench
Number of pages50
Publication statusPublished - 4 May 2016

Cite this