Parameterized congruences in ACL2.

Published in: ACL2 (2006)

Keyphrases

natural language learning
cooperative
artificial intelligence
lower bound
information technology
management system
online learning