A Symposium on Hilbert's Program.

Wilfrid Hodges Wilfried Sieg

Published in: J. Symb. Log. (1988)

Keyphrases

artificial intelligence
information retrieval
programming environment
automatic programming
image sequences
relational databases
user interface
computer programs
invited talk