Login / Signup
Linking to Compound Conditions in Mizar.
Adam Naumowicz
Published in:
FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
</>
sufficient conditions
computer assisted
environmental conditions
real time
databases
computer vision
wide range
data sets
decision making
decision trees
three dimensional
high quality
multiscale
data structure
pairwise
experimental conditions