Ivy: A Preprocessor And Proof Checker For First-Order Logic (1999)

View PDF

Download Links

by William Mccune , Olga Shumsky
Citations:36 - 10 self