On the notion of complexity of search in theorem proving
Resource
Bulletin of Symbolic Logic, Vol.3, No.2, pp.253-254
Journal
Bulletin of Symbolic Logic
Journal Volume
Vol.3
Journal Issue
No.2
Pages
253-254
Date Issued
1997
Date
1997
Author(s)
Bonacina M. P.
Hsiang J.
Type
journal article