VIAF

Virtual International Authority File

Search

Davis, Martin, 1928-.... Sudoc [ABES], France National Library of the Czech Republic National Library of Latvia National Library of Catalonia German National Library National Diet Library, Japan NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Israel National Library of Spain National Library of France

Martin Davis American mathematician Wikidata ISNI

Davis, Martin (Martin D.), 1928- National Library of the Netherlands

Davis, Martin NII (Japan)

VIAF ID: 85381152 (Personal)

Permalink: http://viaf.org/viaf/85381152

ISNI: 0000  0001  0921  5209 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (27)

Open Section Close SectionWorks

Title Sources
Alan M. Turing : centenary edition NUKAT Center of Warsaw University Library Sudoc [ABES], France
algorytm DPLL Wikidata
Applied nonstandard analysis xR Extended Titles Sudoc [ABES], France National Library of Latvia National Library of Catalonia National Diet Library, Japan NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO
Astrolocality astrology : a guide to what it is and how to use it National Library of the Netherlands
Chōjun kaiseki National Diet Library, Japan
Computability & unsolvability National Library of the Netherlands Sudoc [ABES], France National Library of France NUKAT Center of Warsaw University Library xR Extended Titles National Library of Catalonia Library of Congress/NACO
Computability, complexity, and languages : Fundamentals of theoretical computer science National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of France National Library of Catalonia Sudoc [ABES], France
Computational logic and set theory : applying formalized logic to analysis NUKAT Center of Warsaw University Library
Desâtaâ problema Gil'berta NUKAT Center of Warsaw University Library National Library of France
Differential and integral calculus National Library of France German National Library Sudoc [ABES], France
DPLL-Алгоритм Wikidata
DPLLアルゴリズム Wikidata
DPLL算法 Wikidata
Engines of logic : mathematicians and the origin of the computer National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
A First course in functional analysis NUKAT Center of Warsaw University Library National Library of Catalonia National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
From here to there : an astrologer's guide to astromapping National Library of the Netherlands
From linear operators to computational biology : essays in memory of Jacob T. Schwartz Library of Congress/NACO
Hilbert's tenth problem NUKAT Center of Warsaw University Library National Library of France National Library of Catalonia Sudoc [ABES], France Library of Congress/NACO
Incunabula : studies in fifteenth-century printed books presented to Lotte Hellinga National Library of Catalonia
Introduction to modern algebra and matrix theory NUKAT Center of Warsaw University Library National Library of Catalonia National Library of the Netherlands
Keisan no riron National Diet Library, Japan
Lectures on modern mathematics National Library of the Netherlands Library of Congress/NACO National Library of France National Library of Catalonia Sudoc [ABES], France
n50035603 National Diet Library, Japan
Prikladnoj nestandartnyj analiz / M. Devis. - Moskva, 1980. NUKAT Center of Warsaw University Library Sudoc [ABES], France
Set theory and the continuum hypothesis NUKAT Center of Warsaw University Library Sudoc [ABES], France
Solvability. provability, definability : the collected works of Emil L. Post National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia German National Library Library of Congress/NACO National Library of France
Sourcebook on contract law Sudoc [ABES], France
Sūgakugirai no tameno konpyūta ronrigaku : Nandemo keisan ni naru konpon genri National Diet Library, Japan
The Undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions NUKAT Center of Warsaw University Library National Library of Catalonia National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
Universal computer the road from leibniz to turing National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia German National Library National Diet Library, Japan Library of Congress/NACO National Library of Spain xR Extended Titles
Works. Library of Congress/NACO Sudoc [ABES], France
ДПЛЛ алгоритам Wikidata
Прикладной нестандартный анализ, 1980: National Library of Latvia Sudoc [ABES], France
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 National Diet Library, Japan NII (Japan)
計算の理論 National Diet Library, Japan NII (Japan)
超準解析 National Diet Library, Japan NII (Japan)

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (6)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (12)

Open Section Close Section History of VIAF ID:85381152 (19)