DocumentCode :
2412603
Title :
Integrating A First-order Automatic prover In The HOL Environment
Author :
Kumar, Ramayya ; Kropf, Thomas ; Schneider, Klaus
Author_Institution :
University of Karlsruhe
fYear :
1991
fDate :
28-30 Aug. 1991
Firstpage :
170
Lastpage :
176
Keywords :
Automation; Calculus; Circuits; Fault tolerance; Hardware; Libraries; Logic; Visualization;
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.596284
Filename :
596284
Link To Document :
بازگشت