#### DMCA

## Integrating computer algebra into proof planning (1998)

### Cached

### Download Links

- [www.cs.bham.ac.uk]
- [www.ags.uni-sb.de]
- [www.risc.jku.at]
- [ftp.cs.bham.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Manfred Kerber
,
Michael Kohlhase
,
Volker Sorge

Venue: | Journal of Automated Reasoning |

Citations: | 41 - 24 self |