Moving Proofs-As-Programs into Practice.

James L. Caldwell

Published in: ASE (1997)

Keyphrases

computer programs
database
formal proof
data sets
moving objects
theorem proving
automatic programming
control structures
artificial intelligence
website
decision procedures
formal proofs