%0 Thesis %1 phd/ethos/Owen87 %A Owen, S. G. %D 1987 %K dblp %T Finding and using analogies to guide mathematical proof.

@phdthesis{phd/ethos/Owen87, added-at = {2022-04-05T00:00:00.000+0200}, author = {Owen, S. G.}, biburl = {https://www.bibsonomy.org/bibtex/290a04b47b1c620a0e1ac0159661432d7/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384228}, interhash = {05764d980081674779cd71a64a120e02}, intrahash = {90a04b47b1c620a0e1ac0159661432d7}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T08:52:47.000+0200}, title = {Finding and using analogies to guide mathematical proof.}, year = 1987 }