Show simple item record

Proceedings of LoPSTr-91

dc.contributor.authorWiggins, G. A.
dc.contributor.authorBundy, Alan
dc.contributor.authorKraan, I.
dc.contributor.authorHesketh, J.
dc.date.accessioned2010-12-14T17:11:40Z
dc.date.available2010-12-14T17:11:40Z
dc.date.issued1991en
dc.identifier.urihttp://hdl.handle.net/1842/4517
dc.language.isoenen
dc.titleSynthesis and Transformation of Logic Programs through Constructive, Inductive Proofen
dc.typeConference Paperen
rps.titleProceedings of LoPSTr-91en
dc.date.updated2010-12-14T17:11:41Z


Files in this item

This item appears in the following Collection(s)

Show simple item record