A Free-Variable Theory of Primitive Recursive Arithmetic.

Daniel G. Schwartz

Published in: Math. Log. Q. (1987)

Keyphrases

theoretical basis
computational model
general theory
neural network
real world
information retrieval
information systems
decision making
reinforcement learning
information technology
pipelined architecture