- Record: found
- Abstract: not found
- Book Chapter: not found
Recent Advances in AI Planning
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
other
August 24 2001
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Book: not found
Maple V Language Reference Manual
Bruce Char, Keith O. Geddes, Gaston H. Gonnet … (1991)
- Record: found
- Abstract: not found
- Book Chapter: not found
The PROSPER Toolkit
Louise A. Dennis, Graham Collins, Michael Norrish … (2000)