A Macro for Reusing Abstract Functions and Theorems

Sebastiaan J. C. Joosten Bernard van Gastel Julien Schmaltz

Published in: ACL2 (2013)

Keyphrases

relational databases
decision making
case based reasoning
learning objects
higher level
neural network
data mining
website
training set
basis functions