Phases, Modes and Information Flow in Theory Development
J. S. Aitken, P. Gray, T. Melham and M. Thomas infobook title | User Interfaces for Theorem Provers: An International Workshop organised at the Department of Computer Science, University of York: 19th July 1996 |
editor | Nicholas A. Merriam |
pages | 1—8 |
publisher | University of York |
year | 1996 |
links
BibTeX
related pages
|
