Author: Martin Davis
Publication Overview
Publication period start: 1962
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Davis,
Martin,
Logemann,
George,
Loveland,
Donald W.
(1962):
A machine program for theorem-proving.
In
Communications of the ACM,
5
(7)
pp. 394-397.
https://dl.acm.org/doi/10.1145/368273.368557