Constructive theory of Banach algebras.

Thierry Coquand Bas Spitters

Published in: J. Log. Anal. (2010)

Keyphrases

theoretical framework
theoretical basis
real world
theoretical foundation
general theory
data sets
video sequences
multi agent systems
digital libraries
computational model
information theory
conceptual framework
decision theory
spatial reasoning