This HTML5 document contains 124 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n29https://dblp.org/pid/b/
dcthttp://purl.org/dc/terms/
n30http://catalogo.share-cat.unina.it/sharecat/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17http://www.idref.fr/035509457/
n11http://g.co/kg/m/
schemahttp://schema.org/
n16https://www2.eecs.berkeley.edu/Faculty/Homepages/
n26http://www.cobiss.si/scripts/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n28https://d-nb.info/gnd/
n27http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n23http://isni.org/isni/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n18http://fr.dbpedia.org/resource/Modèle:
n13http://genealogy.math.ndsu.nodak.edu/
n25http://viaf.org/viaf/
n15https://www2.eecs.berkeley.edu/Faculty/Awards/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20http://data.bnf.fr/ark:/12148/cb134834342#
owlhttp://www.w3.org/2002/07/owl#
n24https://id.loc.gov/authorities/names/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n21https://data.bibliotheken.nl/doc/thes/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Robert_Brayton
rdf:type
foaf:Person dbo:Eukaryote schema:Person dbo:Species wikidata:Q5 wikidata:Q729 n27:NaturalPerson dbo:Animal dbo:Person wikidata:Q19088 wikidata:Q215627 owl:Thing
rdfs:label
Robert Brayton Robert Brayton
rdfs:comment
Robert King Brayton (né le 23 octobre 1933 à Des Moines (Iowa)) est un informaticien américain. Il est connu pour des recherches et développements en synthèse logique.
rdfs:seeAlso
n13:id.php?id=17844 n23:0000_0001_0901_0676 n26:cobiss?command=DISPLAY&base=CONOR&rid=108260195 n30:searchNames?n_cluster_id=771868
owl:sameAs
n11:0c4xspb n17:id n20:about n21:p07110657X dbpedia-de:Robert_Brayton n24:n79031222 n25:51841890 n28:171988744 n29:RobertKBrayton wikidata:Q15842652
dbo:birthPlace
dbpedia-fr:Des_Moines_(Iowa)
dbo:wikiPageID
14635932
dbo:wikiPageRevisionID
190055450
dbo:wikiPageWikiLink
dbpedia-fr:Thomas_J._Watson_Research_Center dbpedia-fr:Massachusetts_Institute_of_Technology dbpedia-fr:Remington_Rand dbpedia-fr:Vérification_formelle category-fr:Professeur_à_l'université_de_Californie_à_Berkeley dbpedia-fr:Synthèse_logique dbpedia-fr:Des_Moines_(Iowa) dbpedia-fr:Génie_électrique dbpedia-fr:Informatique dbpedia-fr:Institute_of_Electrical_and_Electronics_Engineers category-fr:Membre_de_l'Association_américaine_pour_l'avancement_des_sciences dbpedia-fr:Université_d'État_de_l'Iowa dbpedia-fr:Prix_Paris-Kanellakis dbpedia-fr:Norman_Levinson category-fr:Informaticien_américain dbpedia-fr:Association_américaine_pour_l'avancement_des_sciences dbpedia-fr:Circuit_électrique category-fr:Naissance_en__octobre_1933 dbpedia-fr:Académie_nationale_d'ingénierie_des_États-Unis dbpedia-fr:Intelligence_artificielle dbpedia-fr:IBM dbpedia-fr:Doctorat dbpedia-fr:Université_de_Californie_à_Berkeley
dbo:wikiPageExternalLink
n15:ieee.html n16:brayton.html
dbo:wikiPageLength
4575
dct:subject
category-fr:Membre_de_l'Association_américaine_pour_l'avancement_des_sciences category-fr:Naissance_en__octobre_1933 category-fr:Informaticien_américain category-fr:Professeur_à_l'université_de_Californie_à_Berkeley
prop-fr:wikiPageUsesTemplate
n18:Portail n18:Références n18:Article n18:Infobox_Biographie2 n18:Lien n18:Liens n18:Ouvrage n18:Date_de_naissance n18:Palette
prov:wasDerivedFrom
wikipedia-fr:Robert_Brayton?oldid=190055450&ns=0
prop-fr:année
1980 1994 1995 1984
prop-fr:auteur
avec K. C. Lam Rajeev Murgai Alberto L. Sangiovanni-Vincentelli avec Gary D. Hachtel avec Robert Spence avec Alberto L. Sangiovanni-Vincentelli Curtis T. McMullen
prop-fr:collection
The Kluwer International Series in Engineering and Computer Science The Kluwer international series in engineering and computer science
prop-fr:consultéLe
2022-01-18
prop-fr:date
1990
prop-fr:isbn
978
prop-fr:lieu
Boston
prop-fr:pages
264
prop-fr:pagesTotales
xx + 273 193
prop-fr:périodique
Proc. IEEE
prop-fr:titre
Logic Minimization Algorithms for VLSI Synthesis Timed Boolean functions - a unified formalism for exact timing analysis Sensitivity and Optimization Multilevel logic synthesis Logic synthesis for field programmable gate arrays
prop-fr:volume
78
prop-fr:éditeur
Kluwer Academic Publishers Kluwer Elsevier
prop-fr:numéroDansCollection
270 2
foaf:isPrimaryTopicOf
wikipedia-fr:Robert_Brayton
dbo:employer
dbpedia-fr:Université_de_Californie_à_Berkeley
dbo:doctoralStudent
wikidata:Q102299521 wikidata:Q102249006 wikidata:Q102268145 wikidata:Q102249077 wikidata:Q102408891 wikidata:Q102248777 wikidata:Q102312698 wikidata:Q102311538 wikidata:Q103165308 wikidata:Q102267940
dbo:abstract
Robert King Brayton (né le 23 octobre 1933 à Des Moines (Iowa)) est un informaticien américain. Il est connu pour des recherches et développements en synthèse logique.
dbo:citizenship
dbpedia-fr:États-Unis
dbo:award
dbpedia-fr:Prix_Paris-Kanellakis wikidata:Q5970360 wikidata:Q7182062
dbo:occupation
dbpedia-fr:Informaticien
dbo:almaMater
dbpedia-fr:Massachusetts_Institute_of_Technology
dbo:doctoralAdvisor
dbpedia-fr:Norman_Levinson