Issue No. 03 - Sept. (1975 vol. 1)
J Strother Moore , Xerox Palo Alto Research Center, Palo Alto, Calif. 94304
Iterative methods, Artificial intelligence, Indexes, Packaging, Periodic structures, Argon, Equations, structural induction, Automatic theorem proving, Lisp, program verification
J. S. Moore, "Introducing iteration into the Pure Lisp theorem prover," in IEEE Transactions on Software Engineering, vol. 1, no. , pp. 328-338, 1975.