C-CoRN, the Constructive Coq Repository at Nijmegen.

Luís Cruz-Filipe Herman Geuvers Freek Wiedijk

Published in: MKM (2004)

Keyphrases

formal methods
theorem prover
digital libraries
learning objects
metadata
neural network
digital archives
open shop scheduling
database
databases
information retrieval
image sequences
reinforcement learning
preprocessing
expert systems