First Page | Document Content | |
---|---|---|
Date: 2017-04-21 01:19:46Computer programming Software engineering Computing Lisp Functional languages Subroutines Programming languages Data types Functional programming Defun ACL2 Cons | A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel InstituteAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 179,37 KBShare Document on Facebook |