Search Results - Department of Computing Science‚ University of Glasgow :: UTM Library Massive Scholar Tracking

1

ITP Project Anthology by Aitken, S, Gray, P, Melham, T, Thomas, M

Published 1997
“…Department of Computing Science‚ University of Glasgow…”

Report
2

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) by Aagaard, M, Melham, T, O'Leary, J

Published 2000
“…Department of Computing Science‚ University of Glasgow…”

Report
3

Interactive Proof Discovery: An Empirical Study of HOL Users by Aitken, S, Gray, P, Melham, T, Thomas, M

Published 1995
“…Department of Computing Science‚ University of Glasgow…”

Conference item