First Page | Document Content | |
---|---|---|
Date: 2015-07-27 06:09:15Statements Conjectures | A Model for Capturing and Replaying Proof Strategies Leo Freitas, Cliff B. Jones, Andrius Velykis and Iain Whiteside School of Computing Science, Newcastle University, NE1 7RU, UKAdd to Reading ListSource URL: andrius.velykis.ltDownload Document from Source WebsiteFile Size: 336,68 KBShare Document on Facebook |