A complete mechanization of (Ω)-order type theory.

Tomasz Pietrzykowski D. C. Jensen

Published in: ACM Annual Conference (1) (1972)

Keyphrases

data structure
theoretical framework
real time
neural network
information systems
case study
image sequences
reinforcement learning
digital libraries
special case
computational model