The automation of proof: a historical and sociological exploration
Work
Year: 1995
Type: article
Author Donald MacKenzie
Institution University of Edinburgh
Cites: 154
Cited by: 54
Related to: 10
FWCI: 1.275
Citation percentile (by year/subfield): 93.88
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed