Phases‚ Modes and Information Flow in Theory Development
Main Authors: | Aitken, J, Gray, P, Melham, T, Thomas, M |
---|---|
Format: | Conference item |
Published: |
University of York
1996
|
Similar Items
-
Interactive Proof Discovery: An Empirical Study of HOL Users
by: Aitken, S, et al.
Published: (1995) -
ITP Project Anthology
by: Aitken, S, et al.
Published: (1997) -
A Study Of User Activity In Interactive Theorem Proving
by: Aitken, S, et al.
Published: (1995) -
Interactive Theorem Proving: An Empirical Study of User Activity
by: Aitken, J, et al.
Published: (1998) -
An analysis of errors in interactive proof attempts
by: Aitken, S, et al.
Published: (2000)