An introduction to small scale reflection in Coq.

Georges Gonthier Assia Mahboubi

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

Keyphrases

small scale
formal methods
data sets
larger scale
artificial intelligence
three dimensional
theorem prover
specular reflection
databases
genetic algorithm
e learning
multi agent systems
viewpoint
knowledge based systems
steady state
primary school