Preface: Twenty Years of the QED Manifesto.

John Harrison Josef Urban Freek Wiedijk

Published in: J. Formaliz. Reason. (2016)

Keyphrases

international workshop
asymptotic analysis
asymptotically optimal
square root
workshop on data mining
information systems
tree edit distance
information retrieval and extraction
genetic algorithm
image processing
decision trees
high level
data structure
expert systems
special case
nearest neighbor