Login / Signup
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States.
J Strother Moore
Published in:
ACL2 (2015)
Keyphrases
</>
decision making
mobile robot
co occurrence
real time
neural network
web services
query terms