About: James B. Saxe

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

About: James B. Saxe 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	James B. Saxe (fr) James B. Saxe (en)
rdfs:comment	James Benjamin Saxe est un informaticien théoricien américain, spécialiste en analyse des algorithmes, spécification et vérification, et qui a travaillé longtemps au Centre de recherche de DEC et ses successeurs, le centre de recherche de Compaq et le centre de recherche de Hewlett-Packard (en), toujours situés à Palo Alto. (fr)
rdfs:seeAlso	http://genealogy.math.ndsu.nodak.edu/id.php?id=50400
sameAs	James B. Saxe James B. Saxe James B. Saxe
Wikipage page ID	11342868 (xsd:integer)
Wikipage revision ID	181696825 (xsd:integer)
dbo:wikiPageWikiLink	Algorithmica Algorithmics Static program analysis category-fr:Date_de_naissance_non_renseignée_(XXe_siècle) category-fr:Personnalité_américaine_en_informatique category-fr:Élève_de_l'Union_College category-fr:Étudiant_de_l'université_Carnegie-Mellon Boolean circuit Synchronous circuit Compaq Digital Equipment Corporation dbpedia-fr:Doctorat Dorothea Blostein dbpedia-fr:Démonstration_automatique_de_théorèmes HP Inc. Theoretical computer science Jon Bentley (computer scientist) Journal of the ACM Palo Alto, California Computer network ACM SIGACT Synchronization (computer science) dbpedia-fr:Union_College Carnegie Mellon University dbpedia-fr:Vérification_formelle dbpedia-fr:William_Lowell_Putnam_Mathematical_Competition dbpedia-fr:Master_theorem
page length (characters) of wiki page	6315 (xsd:nonNegativeInteger)
dct:subject	category-fr:Date_de_naissance_non_renseignée_(XXe_siècle) category-fr:Personnalité_américaine_en_informatique category-fr:Élève_de_l'Union_College category-fr:Étudiant_de_l'université_Carnegie-Mellon
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Refm
prov:wasDerivedFrom	wikipedia-fr:James_B._Saxe?oldid=181696825&ns=0
prop-fr:année	1984 (xsd:integer) 1991 (xsd:integer) 2005 (xsd:integer)
prop-fr:date	September 1980 (fr) November 1993 (fr) May 2002 (fr)
prop-fr:doi	10 (xsd:double) 10 (xsd:double)
prop-fr:fr	HP Labs (fr) Olympiades mathématiques des États-Unis (fr) Programming Language Design and Implementation (fr)
prop-fr:id	BHS (fr) LS (fr) FLL (fr) DNS (fr) FSS (fr) AOS (fr)
prop-fr:journal	Algorithmica Journal of the ACM ACM SIGACT Mathematical Systems Theory (fr) ACM Transactions on Computer Systems (fr) SIGPLAN Notices (fr)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Jon Bentley (fr) Michael Sipser (fr) Charles E. Leiserson (fr) Charles P. Thacker (fr) Dorothea Blostein (fr) Greg Nelson (fr) Raymie Stata (fr) Susan Owicki (fr) Thomas E. Anderson (fr)
prop-fr:nom	Bentley (fr) Nelson (fr) Saxe (fr) Anderson (fr) Flanagan (fr)

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