Locales: A Module System for Mathematical Theories.

Clemens Ballarin

Published in: J. Autom. Reason. (2014)

Keyphrases

mathematical models
causal inferences
theoretical framework
multiscale
domain knowledge
cognitive psychology
mathematical expressions
database
real world
image processing
information processing
legal knowledge