Login / Signup
On the strength of proof-irrelevant type theories
Benjamin Werner
Published in:
CoRR (2008)
Keyphrases
</>
neural network
real world
information retrieval
information systems
image processing
three dimensional
multi agent
theoretical framework