Hint Orchestration Using ACL2's Simplifier.

Published in: ACL2 (2018)

Keyphrases

natural language learning
web services
technology enhanced learning
database
relational databases
fipa acl
information systems
multimedia
dynamic programming
probability distribution
service oriented architecture