First Page | Document Content | |
---|---|---|
Date: 2010-07-26 10:39:46Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm | Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer SciencesAdd to Reading ListSource URL: dream.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 133,44 KBShare Document on Facebook |