About: http://fr.dbpedia.org/resource/J_Strother

Property	Value
dbo:abstract	J Strother Moore (né le 11 septembre 1947 à Seminole (Oklahoma)) est un informaticien américain. Il est professeur à l'université du Texas à Austin. La lettre J est son prénom et n'est pas une abréviation. (fr) J Strother Moore (né le 11 septembre 1947 à Seminole (Oklahoma)) est un informaticien américain. Il est professeur à l'université du Texas à Austin. La lettre J est son prénom et n'est pas une abréviation. (fr)
dbo:almaMater	dbpedia-fr:Université_d'Édimbourg dbpedia-fr:Massachusetts_Institute_of_Technology
dbo:award	dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Prix_Herbrand wikidata:Q18748039
dbo:birthPlace	dbpedia-fr:Seminole_(Oklahoma)
dbo:citizenship	dbpedia-fr:États-Unis
dbo:doctoralAdvisor	wikidata:Q7356136
dbo:doctoralStudent	wikidata:Q102302320 wikidata:Q102357717
dbo:employer	dbpedia-fr:Université_du_Texas_à_Austin
dbo:individualisedGnd	122924843
dbo:lccnId	n/79/73002
dbo:occupation	dbpedia-fr:Informaticien dbpedia-fr:Ingénieur wikidata:Q1622272
dbo:viafId	47656419
dbo:wikiPageExternalLink	http://www.cs.utexas.edu/~moore/
dbo:wikiPageID	12332280 (xsd:integer)
dbo:wikiPageLength	3999 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	190430117 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Academic_Press dbpedia-fr:Académie_nationale_d'ingénierie_des_États-Unis dbpedia-fr:Algorithme_de_Boyer-Moore dbpedia-fr:Algorithme_de_recherche_de_sous-chaîne dbpedia-fr:American_Mathematical_Society dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Association_for_the_Advancement_of_Artificial_Intelligence dbpedia-fr:Austin_(Texas) category-fr:Informaticien_américain category-fr:Naissance_en_septembre_1947 category-fr:Professeur_à_l'université_du_Texas_à_Austin dbpedia-fr:Doctorat dbpedia-fr:Fellow dbpedia-fr:Informaticien dbpedia-fr:Palo_Alto_Research_Center dbpedia-fr:Premier_cycle_universitaire dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Robert_S._Boyer dbpedia-fr:Royal_Society_of_Edinburgh dbpedia-fr:SRI_International dbpedia-fr:Seminole_(Oklahoma) dbpedia-fr:Université_d'Édimbourg dbpedia-fr:Université_du_Texas_à_Austin dbpedia-fr:États-Unis dbpedia-fr:Massachusetts_Institute_of_Technology
prop-fr:année	1980 (xsd:integer) 1981 (xsd:integer) 1988 (xsd:integer) 1996 (xsd:integer) 1998 (xsd:integer) 2000 (xsd:integer)
prop-fr:auteur	avec Matt Kaufmann et Panagiotis Manolios (fr) avec Robert S. Boyer (fr) éditeur avec Matt Kaufmann et Panagiotis Manolios (fr) éditeur avec Robert S. Boyer (fr) avec Matt Kaufmann et Panagiotis Manolios (fr) avec Robert S. Boyer (fr) éditeur avec Matt Kaufmann et Panagiotis Manolios (fr) éditeur avec Robert S. Boyer (fr)
prop-fr:collection	ACM monograph series, Academic Press (fr) International series in formal methods (fr) ACM monograph series, Academic Press (fr) International series in formal methods (fr)
prop-fr:gnd	122924843 (xsd:integer)
prop-fr:isbn	978 (xsd:integer)
prop-fr:langue	en (fr) en (fr)
prop-fr:lccn	n/79/73002 (fr) n/79/73002 (fr)
prop-fr:libellé	J Strother Moore en 2006 (fr) J Strother Moore en 2006 (fr)
prop-fr:lieu	New York (fr) New York (fr)
prop-fr:numéroD'édition	2 (xsd:integer)
prop-fr:pagesTotales	xiv+397 (fr) xxv +518 (fr) xiv+397 (fr) xxv +518 (fr)
prop-fr:sousTitre	ACL2 case studies = Kluwer (fr) an approach (fr) ACL2 case studies = Kluwer (fr) an approach (fr)
prop-fr:titre	Id. (fr) A Computational Logic Handbook (fr) A computational Logic (fr) Computer-aided reasoning (fr) Piton : a mechanically verified assembly-level language (fr) The correctness problem in computer science (fr) Id. (fr) A Computational Logic Handbook (fr) A computational Logic (fr) Computer-aided reasoning (fr) Piton : a mechanically verified assembly-level language (fr) The correctness problem in computer science (fr)
prop-fr:typ	p (fr) p (fr)
prop-fr:viaf	47656419 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Bases_recherche
prop-fr:wikidata	Q6109434 (fr) Q6109434 (fr)
prop-fr:éditeur	dbpedia-fr:Academic_Press Kluwer (fr)
dct:subject	category-fr:Informaticien_américain category-fr:Naissance_en_septembre_1947 category-fr:Professeur_à_l'université_du_Texas_à_Austin
rdf:type	owl:Thing foaf:Person dbo:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dul:NaturalPerson dbo:Animal dbo:Eukaryote dbo:Species
rdfs:comment	J Strother Moore (né le 11 septembre 1947 à Seminole (Oklahoma)) est un informaticien américain. Il est professeur à l'université du Texas à Austin. La lettre J est son prénom et n'est pas une abréviation. (fr) J Strother Moore (né le 11 septembre 1947 à Seminole (Oklahoma)) est un informaticien américain. Il est professeur à l'université du Texas à Austin. La lettre J est son prénom et n'est pas une abréviation. (fr)
rdfs:label	J Strother Moore (fr) J Strother Moore (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_0897_1547 http://nla.gov.au/anbd.aut-an35924416 https://commons.wikimedia.org/wiki/Category:J_Strother_Moore https://dl.acm.org/author_page.cfm?id=81342504985 https://www.scopus.com/authid/detail.url?authorId=25723538500 https://zbmath.org/authors/?q=ai:moore.j-strother http://genealogy.math.ndsu.nodak.edu/id.php?id=102545 https://scholar.google.com/citations?user=91fyr68AAAAJ http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=41254 https://lira.lanet.lv/F?func=direct&local_base=lnc10&doc_number=000173294
owl:sameAs	http://www.viaf.org/viaf/47656419 http://www.idref.fr/156103737/id https://d-nb.info/gnd/122924843 https://dblp.org/pid/m/JStrotherMoore https://id.loc.gov/authorities/names/n79073002 http://g.co/kg/m/05475g https://data.bibliotheken.nl/doc/thes/p068287941 http://viaf.org/viaf/47656419 dbr:J_Strother_Moore dbpedia-commons:Category:J_Strother_Moore wikidata:Q6109434 dbpedia-de:J_Strother_Moore
prov:wasDerivedFrom	wikipedia-fr:J_Strother_Moore?oldid=190430117&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:J_Strother_Moore
is dbo:discoverer of	dbpedia-fr:Algorithme_de_Boyer-Moore
is dbo:namedAfter of	dbpedia-fr:Algorithme_de_Boyer-Moore dbpedia-fr:Algorithme_de_Boyer-Moore-Horspool
is dbo:wikiPageDisambiguates of	dbpedia-fr:Strother
is dbo:wikiPageWikiLink of	dbpedia-fr:Algorithme_de_Boyer-Moore dbpedia-fr:Algorithme_de_Knuth-Morris-Pratt dbpedia-fr:Liste_des_Fellows_de_l'Association_for_Computing_Machinery dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Prix_Herbrand dbpedia-fr:Robert_S._Boyer dbpedia-fr:Strother
is oa:hasTarget of	tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:J_Strother_Moore

About: http://fr.dbpedia.org/resource/J_Strother_Moore