Initial Experiments with External Provers and Premise Selection on HOL Light} Corpora

Find Full text
Thumbnail
Fulltext:
103446.pdf
Size:
232.5Kb
Format:
PDF
Description:
author's version
Download
Publication year
2012
Author(s)
Kaliszyk, C.
Urban, J.
Publisher
[S.l.] : [S.n.]
In
Easychair Proceedings in Computing, (2012)Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester, pp. 72-81
Annotation
PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/103446   https://hdl.handle.net/2066/103446
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.