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