Back to Results
First PageMeta Content
Computer 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 Sciences
Add to Reading List

Document Date: 2010-07-26 10:39:46


Open Document

File Size: 133,44 KB

Share Result on Facebook
UPDATE