DMCA
Impasse-Driven Reasoning in Proof Planning
Cached
Download Links
- [www.activemath.org]
- [www.dfki.uni-sb.de]
- [www-ags.dfki.uni-sb.de]
- [www-ags.dfki.uni-sb.de]
- DBLP
Other Repositories/Bibliography
by
Andreas Meier
,
Erica Melis