Login / Signup
Elaboration in Dependent Type Theory.
Leonardo Mendonça de Moura
Jeremy Avigad
Soonho Kong
Cody Roux
Published in:
CoRR (2015)
Keyphrases
</>
theoretical framework
computational model
theoretical basis
decision trees
image sequences
data mining
information retrieval
social networks
computer vision
website
email
special case
computer mediated