ß ANTS – an open approach at combining interactive and automated theorem proving (0)

by Christoph Benzmüller, Volker Sorge
Venue:Proceedings of the Calculemus Symposium 2000, St. Andrews, United Kingdom, 6–7 August 2000. AK Peters