The Theory of Calculi with Explicit Substitutions Revisited.

Published in: CSL (2007)

Keyphrases

theoretical basis
artificial intelligence
neural network
relational databases
theoretical framework
formal theory
data mining
machine learning
information systems
knowledge base
computational model
general theory