| Property |
Value |
| dbo:abstract
|
- Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. En un número de la revista científica Theoretical Computer Science se le dedicó una sección especial, producto de su cumpleaños número 70. En 2001, recibió el premio EATCS Award por su distinguida carrera en las ciencias de la computación teórica. (es)
- Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. En un número de la revista científica Theoretical Computer Science se le dedicó una sección especial, producto de su cumpleaños número 70. En 2001, recibió el premio EATCS Award por su distinguida carrera en las ciencias de la computación teórica. (es)
|
| dbo:award
| |
| dbo:employer
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:conocidoPor
| |
| prop-es:empleador
| |
| prop-es:nacionalidad
|
- Italiana (es)
- Italiana (es)
|
| prop-es:nombre
|
- Corrado Böhm (es)
- Corrado Böhm (es)
|
| prop-es:premios
| |
| prop-es:área
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. (es)
- Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. (es)
|
| rdfs:label
|
- Corrado Böhm (es)
- Corrado Böhm (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Corrado Böhm (es)
- Corrado Böhm (es)
|
| is dbo:designer
of | |
| is dbo:wikiPageRedirects
of | |
| is prop-es:diseñador
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
