WebPie: A Tiny Slice of Dependent Typing.

Christophe Scholliers

Published in: ThEdu@CADE (2023)

Keyphrases

data mining
search engine
expert systems
data sets
learning environment
support vector
search algorithm
pattern recognition
high resolution
color images
error rate
mutually dependent