Interactive Theorem Proving: An Empirical Study of User Activity (1995)

Cached

Download Links

by J. S. Aitken , P. Gray , T. Melham , M. Thomas
Venue:Journal of Symbolic Computation
Citations:12 - 3 self