Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Denney, Ewen (Research Inst. for Advanced Computer Science Moffett Field, CA, United States) Fischer, Bernd (Research Inst. for Advanced Computer Science Moffett Field, CA, United States) Date Acquired
September 7, 2013
Publication Date
January 24, 2005
Subject Category
Mathematical And Computer Sciences (General) Meeting Information
Meeting: User Interfaces for Theorem Provers (UITP 2005)
Location: Edinburgh, Scotland
Country: United Kingdom
Start Date: April 9, 2005
Distribution Limits
Public
Copyright
Public Use Permitted.