DocumentCode
2408635
Title
Proceedings Of The 1991 International Workshop On The Hol Theorem Proving System And Its Applications [front matter]
fYear
1991
fDate
28-30 Aug. 1991
Abstract
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.
fLanguage
English
Publisher
ieee
Conference_Titel
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location
Davis, CA, USA
Print_ISBN
0-8186-2460-4
Type
conf
DOI
10.1109/HOL.1991.596264
Filename
596264
Link To Document