About DBpedia Fr

About: http://fr.dbpedia.org/resource/Robert_S._Boyer

An Entity of Type : person, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin.

thumbnail
Property Value
dbo:abstract
  • Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin. (fr)
  • Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin. (fr)
dbo:almaMater
dbo:award
dbo:citizenship
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 14662716 (xsd:integer)
dbo:wikiPageLength
  • 3565 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190429959 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:activités
  • Universitaire, informaticien (fr)
  • Universitaire, informaticien (fr)
prop-fr:année
  • 1979 (xsd:integer)
  • 1981 (xsd:integer)
  • 1991 (xsd:integer)
prop-fr:auteur
  • J Strother Moore: (fr)
  • Robert S. Boyer (fr)
  • avec J Strother Moore (fr)
  • J Strother Moore: (fr)
  • Robert S. Boyer (fr)
  • avec J Strother Moore (fr)
prop-fr:collection
  • Academic Press international series in formal methods (fr)
  • ACM Monograph Series (fr)
  • Automated Reasoning Series (fr)
  • International Lecture Series in Computer Science (fr)
  • Academic Press international series in formal methods (fr)
  • ACM Monograph Series (fr)
  • Automated Reasoning Series (fr)
  • International Lecture Series in Computer Science (fr)
prop-fr:consultéLe
  • 2022-02-01 (xsd:date)
prop-fr:date
  • 1977 (xsd:integer)
  • 1998 (xsd:integer)
prop-fr:isbn
  • 0 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:légende
  • Prix ACM 2005 avec Matt Kaufmann et J Strother Moore (fr)
  • Prix ACM 2005 avec Matt Kaufmann et J Strother Moore (fr)
prop-fr:numéro
  • 10 (xsd:integer)
prop-fr:numéroÉdition
  • 2 (xsd:integer)
prop-fr:pages
  • 762 (xsd:integer)
prop-fr:pagesTotales
  • xiii + 279 (fr)
  • xiv + 397 (fr)
  • xxv+518 (fr)
  • xiii + 279 (fr)
  • xiv + 397 (fr)
  • xxv+518 (fr)
prop-fr:périodique
  • Commun. ACM (fr)
  • Commun. ACM (fr)
prop-fr:responsabilité
  • éditeur (fr)
  • éditeurs (fr)
  • éditeur (fr)
  • éditeurs (fr)
prop-fr:sousTitre
  • Essays in Honor of Woody Bledsoe (fr)
  • Essays in Honor of Woody Bledsoe (fr)
prop-fr:titre
  • The correctness problem in computer science (fr)
  • A Fast String Searching Algorithm (fr)
  • A computational logic (fr)
  • A computational logic handbook (fr)
  • Automated Reasoning (fr)
  • The correctness problem in computer science (fr)
  • A Fast String Searching Algorithm (fr)
  • A computational logic (fr)
  • A computational logic handbook (fr)
  • Automated Reasoning (fr)
prop-fr:url
prop-fr:volume
  • 20 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:wikidata
  • Q4588776 (fr)
  • Q4588776 (fr)
prop-fr:zbl
  • 448.680200 (xsd:double)
  • 476.680090 (xsd:double)
prop-fr:éditeur
  • Academic Press (fr)
  • Kluwer Academic Publishers (fr)
  • Academic Press (fr)
  • Kluwer Academic Publishers (fr)
dct:subject
rdf:type
rdfs:comment
  • Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin. (fr)
  • Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin. (fr)
rdfs:label
  • Robert S. Boyer (fr)
  • Robert S. Boyer (de)
  • Robert S. Boyer (en)
  • روبرت إس. بوير (ar)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:discoverer of
is dbo:doctoralStudent of
is dbo:namedAfter of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License