The Cayley-Dickson Construction in ACL2.

John R. Cowles Ruben Gamboa

Published in: ACL2 (2017)

Keyphrases

construction process
neural network
database
natural language learning
real time
search engine
decision making
cooperative
medical images
automatic construction