Login / Signup
An Information System Interpretation of Martin-Löf's Partial Type Theory with Universes
Erik Palmgren
Published in:
Inf. Comput. (1993)
Keyphrases
</>
information systems
theoretical foundation
image interpretation
high level
neural network
theoretical framework
theoretical basis
formal theory
learning algorithm
social networks
website
information technology
digital images
knowledge management
computational model
computational models