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

View PDF

Download Links

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