Seventy Years of Computer Science

DOI10.1007/978-3-030-48006-6_8OpenAlexW3026975427MaRDI QIDQ5049043FDOQ5049043

Authors: Martin Davis 

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_8

zbMATH Keywords

ACESATTuringcomputabilityuniversalPresburger arithmeticrecursive functionshypercomputationNPneural netCopelandlinked conjunctobvious inferencesORDVACtest data adequacy

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• A Computing Procedure for Quantification Theory
• An improved proof procedure1
• Alan Turing: Life and Legacy of a Great Thinker
• Title not available (Why is that?)
• Martin Davis on computability, computational logic, and mathematical foundations
• Title not available (Why is that?)
• The early history of automated deduction
• A formal notion of program-based test data adequacy
• Title not available (Why is that?)
• DPLL: the core of modern satisfiability solvers
• An Implementation of the Model Elimination Proof Procedure
• Metric Space-based Test-data Adequacy Criteria
• Title not available (Why is that?)

Cited In (1)

• Computing and the National Science Foundation, 1950--2016

This page was built for publication: Seventy Years of Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049043)