Maria Paola Bonacina
Maria Paola Bonacina and Jieh Hsiang.
On the modelling of search in theorem proving -- towards a theory of strategy analysis.
Information and Computation
, 147(2):171-208, 15 December 1998.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database