The formal system lambdadelta.

Ferruccio Guidi

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

formal model
database
management system
formal language
neural network
case study
formal specification
artificial intelligence
decision trees
bayesian networks
multi agent systems
formal analysis
formal models
mathematical theory