Login / Signup
Teaching algorithms and data structures with a proof assistant (invited talk).
Tobias Nipkow
Published in:
CPP (2021)
Keyphrases
</>
invited talk
algorithms and data structures
data structures and algorithms
data structure
spatial databases
knowledge discovery and data mining
selected papers
learning process
search tools
range searching
e learning
distance learning
nearest neighbor
computational intelligence
spatial data