Integrating computer algebra into proof planning (1998)

Cached

Download Links

by Manfred Kerber , Michael Kohlhase , Volker Sorge
Venue:Journal of Automated Reasoning
Citations:41 - 26 self