Login / Signup
Verified Analysis of Functional Data Structures.
Tobias Nipkow
Published in:
FSCD (2016)
Keyphrases
</>
data structure
statistical analysis
quantitative analysis
information retrieval
decision making
decision trees
management system
data types