Implementing Number Theory: An Experiment with Nuprl.

Douglas J. Howe

Published in: CADE (1986)

Keyphrases

small number
fixed number
databases
artificial intelligence
decision making
website
trade off
theoretical framework
real world
information systems
image processing
bayesian networks
data structure
video sequences
memory requirements