Refined program extraction form classical proofs.

Ulrich Berger Wilfried Buchholz Helmut Schwichtenberg

Published in: Ann. Pure Appl. Log. (2002)

Keyphrases

computer programs
databases
image processing
search algorithm
relational databases
theorem proving
program execution
machine learning
information retrieval
three dimensional
multi agent
computer science
knowledge extraction
automatic extraction
control program