About: Martin Davis (mathematician)

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

About: Martin Davis (mathematician) Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person scientist schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 wikidata:Q901 dul:NaturalPerson animal eukaryote species
rdfs:label	Martin Davis (fr) Martin Davis (de) Martin Davis (it) Martin Davis (pl) Martin Davis (vi) Martin Davis (mathematician) (en) Мартін Девіс (uk) 马丁·戴维·戴维斯 (zh)
rdfs:comment	Martin Davis, ou Martin David Davis (né en 1928 à New York) est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert. Il a obtenu son doctorat de l’Université de Princeton en 1950, sous la direction d'Alonzo Church. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de (en). (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_0921_5209 http://nla.gov.au/nla.party-499756 https://commons.wikimedia.org/wiki/Category:Martin_Davis https://dl.acm.org/author_page.cfm?id=81100601584 https://zbmath.org/authors/?q=ai:davis.martin-d http://genealogy.math.ndsu.nodak.edu/id.php?id=8018 http://www.bib.ub.edu/fileadmin/autoritats/permanent/a1101319 http://cantic.bnc.cat/registres/CUCId/a1121000x http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Davis.html http://snaccooperative.org/ark:/99166/w67h29sz http://aut.nkp.cz/xx0012596 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=51851 http://www.cobiss.si/scripts/cobiss?command=DISPLAY&base=CONOR&rid=46588771 https://lira.lanet.lv/F?func=direct&local_base=lnc10&doc_number=000048716
sameAs	Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician) Martin Davis (mathematician)
birth place	New York City United States
birth date	1928-03-08 (xsd:date)
Wikipage page ID	5900489 (xsd:integer)
Wikipage revision ID	189888845 (xsd:integer)
dbo:wikiPageWikiLink	Łódź DPLL algorithm Davis–Putnam algorithm Algorithmics Alonzo Church dbpedia-fr:American_Mathematical_Society dbpedia-fr:Bronx category-fr:Lauréat_du_prix_Leroy_P._Steele category-fr:Logicien_américain category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_en_mars_1928 category-fr:Personnalité_américaine_en_informatique category-fr:Théoricien_des_nombres category-fr:Étudiant_de_l'université_de_Princeton Hilbert's tenth problem Computer science New York City Notices of the American Mathematical Society Poland dbpedia-fr:Professeur_émérite Providence, Rhode Island Rhode Island dbpedia-fr:Théorie_de_la_calculabilité New York University Princeton University United States dbpedia-fr:Mathématicien

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, 7 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software