Discovering Needed Reductions Using Type Theory.

Philippa Gardner

Published in: TACS (1994)

Keyphrases

computational model
real time
conceptual framework
formal theory
information retrieval
genetic algorithm
e learning
image processing
multi agent systems
expert systems
information technology
theoretical framework
general theory
grounded theory