Login / Signup
The automation of proof: a historical and sociological exploration.
Donald MacKenzie
Published in:
IEEE Ann. Hist. Comput. (1995)
Keyphrases
</>
historical data
linear logic
information retrieval
mathematical proofs
neural network
data structure
theorem proving
workflow management systems
information visualization
active exploration
complete axiomatization
interactive theorem proving