About: Corrado Böhm

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Corrado Böhm Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Corrado Böhm (fr) Corrado Böhm (de) Corrado Böhm (en) Corrado Böhm (it) コラド・ベーム (ja)
rdfs:comment	Corrado Böhm, né le 17 janvier 1923 à Milan et mort le 23 octobre 2017 à Rome, est un informaticien théoricien italien. Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle. (fr)
rdfs:seeAlso	http://aleph.nli.org.il/F/?func=find-b&local_base=NNL10&find_code=SYS&con_lng=eng&request=002180540 http://ci.nii.ac.jp/author/DA01871576 http://isni.org/isni/0000_0001_0932_9425 http://nla.gov.au/anbd.aut-an36132612 http://nla.gov.au/nla.party-1217629 https://commons.wikimedia.org/wiki/Category:Corrado_Böhm https://zbmath.org/authors/?q=ai:bohm.corrado http://genealogy.math.ndsu.nodak.edu/id.php?id=54451 http://data.rero.ch/02-A003064037 http://id.sbn.it/af/SBLV150333 http://aut.nkp.cz/skuk0001757 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=44492 http://www.cobiss.si/scripts/cobiss?command=DISPLAY&base=CONOR&rid=191227491
sameAs	Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm Corrado Böhm
death place	Rome
death date	2017-10-23 (xsd:date)
birth place	dbpedia-fr:Milan
Wikipage page ID	437031 (xsd:integer)
Wikipage revision ID	190720833 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Lauréat_du_prix_EATCS Academia Europaea Boolean algebra (structure) Alonzo Church dbpedia-fr:Branchement category-fr:Docteur_honoris_causa_de_l'université_de_Milan category-fr:Décès_en_octobre_2017 category-fr:Décès_à_94_ans category-fr:Informaticien_italien category-fr:Naissance_en_janvier_1923 category-fr:Naissance_à_Milan category-fr:Personnalité_en_informatique_théorique category-fr:Professeur_à_l'université_de_Rome_«_La_Sapienza_» category-fr:Étudiant_de_l'École_polytechnique_fédérale_de_Lausanne category-fr:Étudiant_de_l'École_polytechnique_fédérale_de_Zurich Christopher Strachey Compiler National Research Council (Italy) dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Dana_S._Scott dbpedia-fr:Doctorat_honoris_causa dbpedia-fr:Edsger_Dijkstra dbpedia-fr:Eduard_Stiefel Ferranti dbpedia-fr:Goto_(informatique) Haskell Curry Computer scientist Theoretical computer science dbpedia-fr:International_Federation_for_Information_Processing Italy Konrad Zuse Lambda calculus dbpedia-fr:Liste_d'informaticiens_et_précurseurs_de_l'informatique dbpedia-fr:Logique_combinatoire Abstract machine Turing machine dbpedia-fr:Modène dbpedia-fr:Olivetti dbpedia-fr:Paul_Bernays dbpedia-fr:Prix_EATCS dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Programmation_structurée Rome Control flow Grammar

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software