Automath and Pure Type Systems.

Fairouz Kamareddine Twan Laan Rob Nederpelt

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

distributed systems
information extraction
management system
trade off
systems require
complex systems
building blocks
medical images
multiresolution
database
multi agent systems
wide range
optimal solution
three dimensional
decision trees
information systems
real time