Ω-ANTS -- An open approach at combining Interactive and Automated Theorem Proving (2000)

Cached

Download Links

by Christoph Benzmüller , Volker Sorge
Venue:IN PROC. OF CALCULEMUS-2000. AK PETERS
Citations:34 - 23 self