Proving Theorems of Type Theory Automatically with TPS.

Peter B. Andrews

Published in: AAAI (2005)

Keyphrases

theoretical framework
user defined
general theory
data sets
information retrieval
computer vision
information systems
decision making
website
multiscale
multi agent systems
image analysis
computational model
automatically generated