Theory Exploration in Theorema: Case Study on Lists.

Isabela Dramnesc Tudor Jebelean

Published in: SACI (2012)

Keyphrases

case study
computational model
neural network
theoretical framework
decision trees
search strategies
theoretical basis
databases
image processing
web services
reinforcement learning
objective function
support vector
computer science
software development
probability theory