Phases‚ Modes and Information Flow in Theory Development
J. S. Aitken‚ P. Gray‚ T. Melham and M. Thomas
Book 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