On the notion of complexity of search in theorem proving
Resource
Logic Colloqium 96', Association of Symbolic Logic Annual Meeting, Spain, July 1996
Journal
Logic Colloqium 96', Association of Symbolic Logic Annual Meeting, Spain, July 1996
Pages
-
Date Issued
1996
Date
1996
Author(s)
Bonacina M. P.
Hsiang J.
Type
conference paper