First Page | Document Content | |
---|---|---|
Date: 2013-10-09 07:16:34 | Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1Add to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source WebsiteFile Size: 663,61 KBShare Document on Facebook |