Login / Signup
Innovations in computational type theory using Nuprl.
Stuart F. Allen
Mark Bickford
Robert L. Constable
Richard Eaton
Christoph Kreitz
Lori Lorigo
E. Moran
Published in:
J. Appl. Log. (2006)
Keyphrases
</>
computational models
decision making
theoretical basis
learning algorithm
computational power
database
databases
data mining
information retrieval
database systems
theoretical framework