Equational presentations of functors and monads.

Jiri Velebil Alexander Kurz

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

Keyphrases

theorem proving
multimedia presentations
theorem prover
equational theories
horn clauses
multimedia
high level
computational intelligence
feature extraction
face recognition
information retrieval
case study
website
e learning
computer vision
search engine
genetic algorithm