Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra (1995)

Cached

Download Links

by Paul Bernard Jackson
Citations:47 - 4 self