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 |
PDF DocumentDocID: 1wCNu - View Document | |
YTools: A Package of Portable Enhancements to Common Lisp VersionDrew McDermott November 30, 2008 Copyright (CDocID: 1vd5B - View Document | |
LISP 1.5 and its Implementation on the IBM System/360 at RPIDocID: 1v0vX - View Document | |
Visual LISP Function Reference Chart for AutoCADComplied by Dr. June-Hao Hou <>, Institute of Architecture, National Chiao Tung University, Taiwan. Last updated onPage 1/2DocID: 1uWpK - View Document | |
This document (and the similar documents for future units) will describe the Lisp code that controls the experiments and how ACT-R is interfaced to them. It is not necessary that you write the experiments for models in LDocID: 1uQgE - View Document |