A New Face For Ergo: Adding A User Interface To A Programmable Theorem Prover (1995)

Cached

Download Links

by Ray Nickson , Mark Utting
Venue:HCI, A LIGHT INTO THE FUTURE: PROCEEDINGS OF OZCHI’95
Citations:5 - 3 self