Date: 2010-11-02 19:29:56

Theoretical computer science

Formal methods

ACL2

Lisp

Statements

Automated theorem proving

Formal verification

J Strother Moore

Mathematical proof

Conjecture

Algorithm

Reason

Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 72,28 KB