Böhm, C.
Böhm, Corrado, 1923-
Böhm, C. (Corrado), 1923-
Corrado Böhm matematico e informatico italiano (1923 - 2017)
Böhm, Corrado 1923-2017
Böhm, Corrado
VIAF ID: 109309378 ( Personal )
Permalink: http://viaf.org/viaf/109309378
Preferred Forms
-
-
- 100 1 _ ‡a Böhm, C. ‡q (Corrado), ‡d 1923-
-
- 100 1 _ ‡a Böhm, Corrado ‡d 1923-2017
-
- 100 1 _ ‡a Böhm, Corrado, ‡d 1923-....
-
- 100 1 _ ‡a Böhm, Corrado
-
-
-
- 100 0 _ ‡a Corrado Böhm ‡c matematico e informatico italiano (1923 - 2017)
4xx's: Alternate Name Forms (25)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 | |
CAAP '81 : Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings | |
Calculatrices digitales du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme | |
Gentzen : selected papers | |
Theoretical computer science : proceedings of the third Italian conference, Mantova, 2-4 November 1989 | |
Trees in algebra and programming / ed. by E. Astesiano and C. Böhm. - Berlin, 1982. | |
λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975 |