Login / Signup
Simple Type Theory as Framework for Combining Logics.
Christoph Benzmueller
Published in:
CoRR (2010)
Keyphrases
</>
theoretical framework
main contribution
conceptual framework
decision trees
theoretical foundation
artificial intelligence
computational model
combining multiple
mathematical framework
general theory
framework enables