ACL2 Theorems About Commercial Microprocessors.

Bishop Brock Matt Kaufmann J. Strother Moore

Published in: FMCAD (1996)

Keyphrases

natural language learning
real time
personal computer
computing power
neural network
open source
computer architecture
data sets
databases
genetic algorithm
multiscale
expert systems
high speed