Engineering mathematics: the odd order theorem proof.

Georges Gonthier

Published in: POPL (2013)

Keyphrases

computer science
databases
computer vision
real world
information retrieval
data sets
learning algorithm
artificial intelligence
software engineering