Login / Signup
A Diller-Nahm-style functional interpretation of KP w\hbox{\sf KP} \omega.
Wolfgang Burr
Published in:
Arch. Math. Log. (2000)
Keyphrases
</>
database
neural network
artificial intelligence
computer vision
wide range
expert systems
functional analysis