About: Robert Lee Constable

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

About: Robert Lee Constable Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr 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	Robert Lee Constable (en) Robert Lee Constable (fr)
rdfs:comment	Robert « Bob » Lee Constable (né le 10 janvier 1942 à Détroit (Michigan)) est professeur d'informatique à l'Université Cornell, aux États-Unis. Il est connu pour son travail sur la connexion entre programmes d'ordinateur et preuves mathématiques, en particulier système (en). Constable a été l'un des directeurs de l'École d'été de Marktoberdorf. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_1739_7102 https://dl.acm.org/author_page.cfm?id=81100501262 https://zbmath.org/authors/?q=ai:constable.robert-l http://genealogy.math.ndsu.nodak.edu/id.php?id=9041 http://academictree.org/chemistry/peopleinfo.php?pid=189341 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=535792
sameAs	Robert Lee Constable Robert Lee Constable Robert Lee Constable Robert Lee Constable Robert Lee Constable Robert Lee Constable Robert Lee Constable Robert Lee Constable
Wikipage page ID	10298240 (xsd:integer)
Wikipage revision ID	182437957 (xsd:integer)
dbo:wikiPageWikiLink	Association for Computing Machinery Association for Symbolic Logic dbpedia-fr:Cambridge_University_Press category-fr:Boursier_Guggenheim category-fr:Personnalité_américaine_en_informatique category-fr:Professeur_à_l'université_Cornell category-fr:Étudiant_de_l'université_du_Wisconsin_à_Madison dbpedia-fr:Doctorat dbpedia-fr:Détroit_(Michigan) dbpedia-fr:Edmund_M._Clarke Computer science dbpedia-fr:Kurt_Mehlhorn Prentice Hall dbpedia-fr:Prix_Herbrand dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Stephen_Cole_Kleene Cornell University University of Wisconsin System Summer School Marktoberdorf
Link from a Wikipage to an external page	http://www.cs.cornell.edu/home/rc/
page length (characters) of wiki page	2834 (xsd:nonNegativeInteger)
dct:subject	category-fr:Boursier_Guggenheim category-fr:Personnalité_américaine_en_informatique category-fr:Professeur_à_l'université_Cornell category-fr:Étudiant_de_l'université_du_Wisconsin_à_Madison
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Bases_recherche
prov:wasDerivedFrom	wikipedia-fr:Robert_Lee_Constable?oldid=182437957&ns=0
prop-fr:année	1978 (xsd:integer) 1982 (xsd:integer) 1986 (xsd:integer)
prop-fr:auteur	C. D. Eichenlaub (fr) M. J. O'Donnel (fr) PRL Group (fr) Robert L. Constable (fr) S. D. Johnson (fr)
prop-fr:collection	Lecture Notes in Computer Science (fr)
prop-fr:fr	NuPR (fr)
prop-fr:langue	en (fr)
prop-fr:lieu	Engelwood Cliffs, NJ (fr)
prop-fr:titre	A Programming Logic (fr) An Introduction to the PL/CV2 Programming Logic' (fr) Implementing Mathematics with the Nuprl Proof Development System (fr)
prop-fr:éditeur	dbpedia-fr:Cambridge_University_Press Prentice Hall dbpedia-fr:Springer_Science+Business_Media
prop-fr:numéroDansCollection	135 (xsd:integer)
prop-fr:intituléÉlève	Étudiants (fr)
prop-fr:élève	Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, Robert Harper (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Robert_Lee_Constable
employer	Cornell University
doctoral student	dbpedia-fr:Allan_Borodin dbpedia-fr:Edmund_M._Clarke dbpedia-fr:Kurt_Mehlhorn wikidata:Q102109751 wikidata:Q102196391 wikidata:Q102196954 wikidata:Q102216506 wikidata:Q102229164 wikidata:Q102234777 wikidata:Q102240681 wikidata:Q102253220 wikidata:Q102253253

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, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software