A Study Of User Activity In Interactive Theorem Proving
Stuart Aitken, Philip Gray, Tom Melham and Muffy Thomas infobook title | Task Centred Approaches To Interface Design: Glasgow Interactive Systems Group Research Review |
editor | Chris Johnson |
month | August |
note | GIST Technical Report G95.2 |
pages | 195—218 |
publisher | Department of Computing Science, University of Glasgow |
year | 1995 |
links
BibTeX
related pages
|
