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