Publication
(All)

Results 1-1 of 1 (Search time: 0.009 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
11996On the notion of complexity of search in theorem provingBonacina M. P.; Hsiang J.Logic Colloqium 96', Association of Symbolic Logic Annual Meeting, Spain, July 1996