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.

Property Value
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. (fr)
  • 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. (fr)
dbo:almaMater
dbo:award
dbo:birthPlace
dbo:citizenship
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 14635932 (xsd:integer)
dbo:wikiPageLength
  • 4575 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190055450 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1980 (xsd:integer)
  • 1984 (xsd:integer)
  • 1994 (xsd:integer)
  • 1995 (xsd:integer)
prop-fr:auteur
  • Curtis T. McMullen (fr)
  • Alberto L. Sangiovanni-Vincentelli (fr)
  • Rajeev Murgai (fr)
  • avec Alberto L. Sangiovanni-Vincentelli (fr)
  • avec Gary D. Hachtel (fr)
  • avec K. C. Lam (fr)
  • avec Robert Spence (fr)
  • Curtis T. McMullen (fr)
  • Alberto L. Sangiovanni-Vincentelli (fr)
  • Rajeev Murgai (fr)
  • avec Alberto L. Sangiovanni-Vincentelli (fr)
  • avec Gary D. Hachtel (fr)
  • avec K. C. Lam (fr)
  • avec Robert Spence (fr)
prop-fr:collection
  • The Kluwer International Series in Engineering and Computer Science (fr)
  • The Kluwer international series in engineering and computer science (fr)
  • The Kluwer International Series in Engineering and Computer Science (fr)
  • The Kluwer international series in engineering and computer science (fr)
prop-fr:consultéLe
  • 2022-01-18 (xsd:date)
prop-fr:date
  • 1990 (xsd:integer)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lieu
  • Boston (fr)
  • Boston (fr)
prop-fr:numéroDansCollection
  • 2 (xsd:integer)
  • 270 (xsd:integer)
prop-fr:pages
  • 264 (xsd:integer)
prop-fr:pagesTotales
  • 193 (xsd:integer)
  • xx + 273 (fr)
prop-fr:périodique
  • Proc. IEEE (fr)
  • Proc. IEEE (fr)
prop-fr:titre
  • Timed Boolean functions - a unified formalism for exact timing analysis (fr)
  • Logic Minimization Algorithms for VLSI Synthesis (fr)
  • Logic synthesis for field programmable gate arrays (fr)
  • Multilevel logic synthesis (fr)
  • Sensitivity and Optimization (fr)
  • Timed Boolean functions - a unified formalism for exact timing analysis (fr)
  • Logic Minimization Algorithms for VLSI Synthesis (fr)
  • Logic synthesis for field programmable gate arrays (fr)
  • Multilevel logic synthesis (fr)
  • Sensitivity and Optimization (fr)
prop-fr:volume
  • 78 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Elsevier (fr)
  • Kluwer (fr)
  • Kluwer Academic Publishers (fr)
  • Elsevier (fr)
  • Kluwer (fr)
  • Kluwer Academic Publishers (fr)
dct:subject
rdf:type
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. (fr)
  • 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. (fr)
rdfs:label
  • Robert Brayton (de)
  • Robert Brayton (fr)
  • Robert Brayton (de)
  • Robert Brayton (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralStudent of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of