Hilbert's Program Revisited.

Panu Raatikainen

Published in: Synth. (2003)

Keyphrases

computer programs
program execution
databases
neural network
search engine
information systems
decision trees
case study
three dimensional
automatic programming