Login / Signup
Idris 2: Quantitative Type Theory in Practice.
Edwin C. Brady
Published in:
CoRR (2021)
Keyphrases
</>
theoretical insights
databases
theoretical basis
data sets
theoretical framework
general theory
database
information systems
feature selection
optimal solution
preprocessing
expert systems
computational model
qualitative and quantitative
quantitative and qualitative
theoretical frameworks