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 :
بازگشت