Proofs, programs, and run times.

John N. Crossley Jeffrey B. Remmel

Published in: Methods Log. Comput. Sci. (1994)

Keyphrases

run times
computer programs
theorem proving
bnb adopt
automatic programming
data mining
databases
computer vision
formal proofs
natural deduction
fixpoint
theorem prover
answer sets
logic programs
information technology
multi agent
image sequences
high level
website
information retrieval