Mathematical logic and the origin of modern computing

Authors:
M. Davis
Affiliations:
-
Venue:
A half-century survey on The Universal Turing Machine
Year:
1988

Citing 0
Cited 3

Logicism and the Development of Computer Science

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The church-turing thesis: consensus and opposition

CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Fifty years of research in artificial intelligence

Annual Review of Information Science and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract