Coherent and Strongly Discrete Rings in Type Theory.

Thierry Coquand Anders Mörtberg Vincent Siles

Published in: CPP (2012)

Keyphrases

neural network
theoretical basis
website
case study
information theory
computational model
expert systems
difference equations
general theory
conceptual framework
theoretical foundation
mobile robot
data model
data sets
multi agent
three dimensional
knowledge base
genetic algorithm
databases