Show simple item record

Proceedings of CADE-15

dc.contributor.authorAlan, Bundy
dc.contributor.authorSlind, K.
dc.contributor.authorGordon, M.
dc.contributor.authorBoulton, R.
dc.date.accessioned2011-01-31T12:55:16Z
dc.date.available2011-01-31T12:55:16Z
dc.date.issued1998
dc.identifier.urihttp://www.springerlink.com/content/buu51mnptynaquuy/en
dc.identifier.urihttp://hdl.handle.net/1842/4708
dc.description.abstractThe CLAM proof planner has been interfaced to the HOL interactive theorem prover to provide the power of proof planning to people using HOL for formal verification, etc. The interface sends HOL goals to CLAM for planning and translates plans back into HOL tactics that solve the initial goals. The project homepage can be found at http://www.cl.cam.ac.uk/Research/HVG/Clam.HOL/intro.html.en
dc.language.isoenen
dc.publisherSpringer Verlagen
dc.titleSystem Description: an Interface Between CLAM and HOLen
dc.typeArticleen
rps.volume1421en
rps.titleProceedings of CADE-15en
dc.date.updated2011-01-31T12:55:17Z


Files in this item

This item appears in the following Collection(s)

Show simple item record