Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq.

Published in: JFLA (2001)

Keyphrases

multi agent systems
data mining
image processing
multimedia
three dimensional
multi agent
digital libraries
information technology
mobile robot
intelligent agents