Summer School on Coq (NII Shonan Meeting 2014-9).

Pierre Castéran Jacques Garrigue David Nowak

Published in: NII Shonan Meet. Rep. (2014)

Keyphrases

summer school
theorem prover
formal methods
mathematical theory
lecture notes
computer vision
meeting room
data sets
color images
knowledge representation