Application of OOP Type Theory: State, Decidability, Integragtion.

Jonathan Eifrig Scott F. Smith Valery Trifonov Amy E. Zwarico

Published in: OOPSLA (1994)

Keyphrases

neural network
real time
decision making
state space
type checking
database
data sets
machine learning
artificial intelligence
data structure
theoretical framework