Writing Programs that Construct Proofs.

Robert L. Constable Todd B. Knoblock Joseph L. Bates

Published in: J. Autom. Reason. (1985)

Keyphrases

computer programs
theorem proving
automatic programming
data sets
information retrieval
search engine
expert systems
programming language
theorem prover
fixpoint
decision procedures
word processing
programs written
mathematical proofs