Login / Signup
Condensing Lemmas for Pure Type Systems with Universes.
Blas C. Ruiz Jiménez
Published in:
AMAST (1998)
Keyphrases
</>
artificial intelligence
data structure
learning systems
real time
databases
data mining
information retrieval
high level
optimal solution
information technology
computer systems
building blocks
complex systems
retrieval systems
computing systems