Title of article
On the Modelling of Search in Theorem Proving— Towards a Theory of Strategy Analysis,
Author/Authors
Maria Paola Bonacina، نويسنده , , Jieh Hsiang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
38
From page
171
To page
208
Journal title
Information and Computation
Serial Year
1998
Journal title
Information and Computation
Record number
261807
Link To Document