First-Class Containers in Coq.

Stéphane Lescuyer

Published in: Stud. Inform. Univ. (2011)

Keyphrases

theorem prover
class specific
database
data sets
neural network
image processing
expert systems
finite number