%0 Thesis %1 phd/ethos/Warren78 %A Warren, David H. D. %D 1978 %K dblp %T Applied logic : its use and implementation as a programming tool.

@phdthesis{phd/ethos/Warren78, added-at = {2022-05-04T00:00:00.000+0200}, author = {Warren, David H. D.}, biburl = {https://www.bibsonomy.org/bibtex/2162295920a8a71e628a32f0aab2c22c0/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.569976}, interhash = {e414e69ebc33969616b24432467d7fa5}, intrahash = {162295920a8a71e628a32f0aab2c22c0}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T09:01:48.000+0200}, title = {Applied logic : its use and implementation as a programming tool.}, year = 1978 }