Interactive Theorem Proving: An Empirical Study of User Activity

书目详细资料
Main Authors: Aitken, J, Gray, P, Melham, T, Thomas, M
格式: Journal article
出版: 1998