Domains in a Realizability Framework.

Roberto M. Amadio

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

decision making
main contribution
neural network
real world
information systems
real time
web pages
case study
database systems
image sequences
relational databases
hidden markov models
theoretical framework