Perfect Numbers in ACL2.

John R. Cowles Ruben Gamboa

Published in: ACL2 (2015)

Keyphrases

natural language learning
databases
neural network
decision making
real numbers
database
genetic algorithm
pattern recognition
knowledge representation
state space
object oriented
natural language processing