Three Tactic Theorem Proving (1999)
by
Don Syme
| Venue: | In Theorem Proving in Higher Order Logics, TPHOLs '99 |
| Citations: | 7 - 0 self |
Document Versions
| Three Tactic Theorem Proving –Don Syme — 1999 — In Theorem Proving in Higher Order Logics, TPHOLs '99 |
