Modelling Differential Structures in Proof Assistants: The Graded Case.

Jesús Aransay César Domínguez

Published in: EUROCAST (2009)

Keyphrases

databases
intelligent agents
artificial intelligence
knowledge base
image processing
search engine
three dimensional
multi agent
image structure