Hybrid Partial-Total Type Theory.

Published in: Int. J. Found. Comput. Sci. (1995)

Keyphrases

theoretical basis
theoretical framework
decision theory
formal theory
neural network
social networks
information systems
feature selection
multiscale
search space
constraint satisfaction problems