Title
Boyer-Moore ACL theorem prover
Catalog Number
102719741
Type
Software
Description
ACL (A Computational Logic) is a theorem prover written by Boyer and Moore. The label says 12 Mar 79, tape density 1600, tape format Ansi, tape record 512, tape parity Odd, <Moore> code, Data, Code 1, Data 1, PPR, XXX, Provall.Lib, Provevall.Proofs. Files put on tape with "copy" function at the Exec.
Date
1979
Author
Boyer, Robert S.; Moore, J. Strother
Publisher
Texas, University of (Austin)
Extent
1 folder
Format
Magnetic Tape: 1/2 inch
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Computer media; Magnetic Tape: ½ inch
Credit
Gift of Herbert Stoyan