## Agent based mathematical reasoning (1999)

### Cached

### Download Links

- [www.cl.cam.ac.uk]
- [www.cs.bham.ac.uk]
- [www.ags.uni-sb.de]
- [www.ags.uni-sb.de]
- DBLP

### Other Repositories/Bibliography

by
Christoph Benzmüller
,
Mateja Jamnik
,
Manfred Kerber
,
Volker Sorge

Venue: | IN PROCEEDINGS OF THE CALCULEMUS WORKSHOP: SYSTEMS FOR INTEGRATED COMPUTATION AND DEDUCTION |

Citations: | 1 - 1 self |