A logical approach to abstract algebra.

Thierry Coquand Henri Lombardi

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

high level
data model
query language
abstract data types
higher level
algebraic structure
image processing
multi agent
state machines
database
low level
evolutionary algorithm
artificial neural networks
objective function
database systems
case study
knowledge base
information systems
neural network
real time