About: Robert S. Boyer

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

About: Robert S. Boyer 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	Robert S. Boyer (fr) Robert S. Boyer (de) Robert S. Boyer (en) روبرت إس. بوير (ar)
rdfs:comment	Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_1569_2802 http://genealogy.math.ndsu.nodak.edu/id.php?id=13163 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=41253
sameAs	Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer Robert S. Boyer
Wikipage page ID	14662716 (xsd:integer)
Wikipage revision ID	190429959 (xsd:integer)
dbo:wikiPageWikiLink	Boyer–Moore string-search algorithm String-searching algorithm category-fr:Date_de_naissance_non_renseignée_(XXe_siècle) category-fr:Informaticien_américain dbpedia-fr:Doctorat dbpedia-fr:Démonstration_automatique_de_théorèmes Computer scientist dbpedia-fr:J_Strother_Moore ACM Software System Award dbpedia-fr:Prix_Herbrand dbpedia-fr:SRI_International University of Edinburgh University of Texas at Austin Woody Bledsoe dbpedia-fr:Massachusetts_Institute_of_Technology Menlo Park, California
Link from a Wikipage to an external page	https://www.cs.utexas.edu/~boyer/ https://www.cs.utexas.edu/~boyer/acl.pdf
page length (characters) of wiki page	3565 (xsd:nonNegativeInteger)
dct:subject	category-fr:Date_de_naissance_non_renseignée_(XXe_siècle) category-fr:Informaticien_américain
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Liens dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prov:wasDerivedFrom	wikipedia-fr:Robert_S._Boyer?oldid=190429959&ns=0
foaf:depiction
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)
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)
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)
prop-fr:numéro	10 (xsd:integer)
prop-fr:pages	762 (xsd:integer)
prop-fr:pagesTotales	xiii + 279 (fr) xiv + 397 (fr) xxv+518 (fr)
prop-fr:périodique	Commun. ACM (fr)
prop-fr:responsabilité	éditeur (fr) éditeurs (fr)
prop-fr:sousTitre	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)
prop-fr:url	https://www.cs.utexas.edu/~boyer/acl.pdf
prop-fr:volume	20 (xsd:integer)
prop-fr:éditeur	Academic Press (fr) Kluwer Academic Publishers (fr)
prop-fr:numéroÉdition	2 (xsd:integer)

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