Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Martin_Davis> }
Showing triples 1 to 96 of
96
with 100 triples per page.
- Alonzo_Church doctoralStudent Martin_Davis.
- Martin_Davis_(disambiguation) wikiPageDisambiguates Martin_Davis.
- Martin_David_Davis wikiPageRedirects Martin_Davis.
- Alan_Turing wikiPageWikiLink Martin_Davis.
- Alan_Turing_Centenary_Conference wikiPageWikiLink Martin_Davis.
- Algorithm_characterizations wikiPageWikiLink Martin_Davis.
- Alonzo_Church wikiPageWikiLink Martin_Davis.
- Automated_theorem_proving wikiPageWikiLink Martin_Davis.
- Brouwer–Hilbert_controversy wikiPageWikiLink Martin_Davis.
- Characteristica_universalis wikiPageWikiLink Martin_Davis.
- Chauvenet_Prize wikiPageWikiLink Martin_Davis.
- Church–Turing_thesis wikiPageWikiLink Martin_Davis.
- Codebreaker_(film) wikiPageWikiLink Martin_Davis.
- Counter_machine wikiPageWikiLink Martin_Davis.
- Courant_Institute_of_Mathematical_Sciences wikiPageWikiLink Martin_Davis.
- Criticism_of_non-standard_analysis wikiPageWikiLink Martin_Davis.
- DPLL_algorithm wikiPageWikiLink Martin_Davis.
- Davis–Putnam_algorithm wikiPageWikiLink Martin_Davis.
- Diophantine_set wikiPageWikiLink Martin_Davis.
- Donald_W._Loveland wikiPageWikiLink Martin_Davis.
- Elementary_Calculus:_An_Infinitesimal_Approach wikiPageWikiLink Martin_Davis.
- Entscheidungsproblem wikiPageWikiLink Martin_Davis.
- Gottfried_Wilhelm_Leibniz wikiPageWikiLink Martin_Davis.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Martin_Davis.
- Halting_problem wikiPageWikiLink Martin_Davis.
- Harold_Davis_(photographer) wikiPageWikiLink Martin_Davis.
- Herbrand_Award wikiPageWikiLink Martin_Davis.
- Hilary_Putnam wikiPageWikiLink Martin_Davis.
- Hilberts_problems wikiPageWikiLink Martin_Davis.
- Hilberts_tenth_problem wikiPageWikiLink Martin_Davis.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Martin_Davis.
- Hypercomputation wikiPageWikiLink Martin_Davis.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Martin_Davis.
- Indicator_function wikiPageWikiLink Martin_Davis.
- Influence_of_non-standard_analysis wikiPageWikiLink Martin_Davis.
- Intuitionism wikiPageWikiLink Martin_Davis.
- John_Corcoran_(logician) wikiPageWikiLink Martin_Davis.
- Julia_Robinson wikiPageWikiLink Martin_Davis.
- L._E._J._Brouwer wikiPageWikiLink Martin_Davis.
- Law_of_excluded_middle wikiPageWikiLink Martin_Davis.
- Leroy_P._Steele_Prize wikiPageWikiLink Martin_Davis.
- Lionel,_LLC wikiPageWikiLink Martin_Davis.
- List_of_Jewish_American_mathematicians wikiPageWikiLink Martin_Davis.
- List_of_NYU_Courant_Institute_people wikiPageWikiLink Martin_Davis.
- List_of_logicians wikiPageWikiLink Martin_Davis.
- List_of_mathematicians_(D) wikiPageWikiLink Martin_Davis.
- List_of_people_by_Erdős_number wikiPageWikiLink Martin_Davis.
- List_of_people_with_surname_Davis wikiPageWikiLink Martin_Davis.
- Martin_(name) wikiPageWikiLink Martin_Davis.
- Martin_David_Davis wikiPageWikiLink Martin_Davis.
- Martin_Davis_(disambiguation) wikiPageWikiLink Martin_Davis.
- Marty_Davis wikiPageWikiLink Martin_Davis.
- Mathematical_logic wikiPageWikiLink Martin_Davis.
- Mechanism_(philosophy) wikiPageWikiLink Martin_Davis.
- Microcontinuity wikiPageWikiLink Martin_Davis.
- Moshe_Koppel wikiPageWikiLink Martin_Davis.
- Object_theory wikiPageWikiLink Martin_Davis.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Martin_Davis.
- Oracle_machine wikiPageWikiLink Martin_Davis.
- Partial_function wikiPageWikiLink Martin_Davis.
- Peano_axioms wikiPageWikiLink Martin_Davis.
- Post–Turing_machine wikiPageWikiLink Martin_Davis.
- Proof_of_impossibility wikiPageWikiLink Martin_Davis.
- Random-access_machine wikiPageWikiLink Martin_Davis.
- Random-access_stored-program_machine wikiPageWikiLink Martin_Davis.
- Register_machine wikiPageWikiLink Martin_Davis.
- Rewriting wikiPageWikiLink Martin_Davis.
- Saved_by_the_Bell:_The_College_Years wikiPageWikiLink Martin_Davis.
- Semi-Thue_system wikiPageWikiLink Martin_Davis.
- Seymour_Ginsburg wikiPageWikiLink Martin_Davis.
- Solomonoffs_theory_of_inductive_inference wikiPageWikiLink Martin_Davis.
- Super-recursive_algorithm wikiPageWikiLink Martin_Davis.
- Systems_of_Logic_Based_on_Ordinals wikiPageWikiLink Martin_Davis.
- The_Movement_For_a_Democracy_of_Content wikiPageWikiLink Martin_Davis.
- Theoretical_computer_science wikiPageWikiLink Martin_Davis.
- Theory_of_computation wikiPageWikiLink Martin_Davis.
- Turing_machine wikiPageWikiLink Martin_Davis.
- Turing_machine_examples wikiPageWikiLink Martin_Davis.
- Turings_proof wikiPageWikiLink Martin_Davis.
- Universal_Turing_machine wikiPageWikiLink Martin_Davis.
- Wolframs_2-state_3-symbol_Turing_machine wikiPageWikiLink Martin_Davis.
- Yuri_Matiyasevich wikiPageWikiLink Martin_Davis.
- books?vid=ISBN0-393-32229-7 author Martin_Davis.
- books?vid=ISBN978-0486432281 author Martin_Davis.
- 8eb3c33ecdf48a5dd901510cacf4ff35eb53223d82504e54ecb68feb4179b5cc author Martin_Davis.
- Donald_W._Loveland doctoralAdvisors Martin_Davis.
- Alonzo_Church doctoralStudents Martin_Davis.
- b4e087aa695d0f874a9498e8603ae67c7f3bdbe906e98fb15e53229fe18e4aa5 editor Martin_Davis.
- citation.cfm?id=601168 isCitedBy Martin_Davis.
- mathematicians.html isCitedBy Martin_Davis.
- books?vid=ISBN9780122063824 isCitedBy Martin_Davis.
- books?vid=ISBN9780393322293 isCitedBy Martin_Davis.
- books?vid=ISBN9780471198970 isCitedBy Martin_Davis.
- 2318447 isCitedBy Martin_Davis.
- 0002-9920 isCitedBy Martin_Davis.
- Martin_Davis primaryTopic Martin_Davis.