Program Extraction from Classical Proofs.

Ulrich Berger Helmut Schwichtenberg

Published in: LCC (1994)

Keyphrases

computer programs
neural network
computer vision
automatic extraction
case study
multiscale
program execution
information extraction
programming environment
knowledge extraction
static analysis
mathematical proofs
databases
control program
domain specific
objective function
image processing
artificial intelligence