Login / Signup

Linear and Nonlinear Arithmetic in ACL2.

Warren A. Hunt Jr.Robert Bellarmine KrugJ Strother Moore
Published in: CHARME (2003)
Keyphrases
  • natural language learning
  • floating point
  • multi agent
  • cooperative
  • natural language
  • medical images