Login / Signup
Tool Building Requirements for an API to First-Order Solvers.
Jim Grundy
Thomas F. Melham
Sava Krstic
Sean McLaughlin
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
higher order
database
knowledge base
user requirements