Proofs and Programs.

Published in: Synth. (2003)

Keyphrases

computer programs
theorem proving
automatic programming
theorem prover
databases
intermediate level
database
real time
data sets
computer vision
image processing
natural language
fixpoint
prolog programs