Search
Now showing items 31-36 of 36
STRING
(1967-09-01)
This document describes the STRING programming language which has been implemented on the MAC Artificial Group's PDP-6 computer. In the STRING system, all objects--constants, variables, functions and programs--are ...
PLANNER: A Language for Proving Theorems
(1967-07-01)
The following is a description of SCHEMATISE, a proposal for a program that proves very elementary theorems though the use of planning. The method is most easily explained through an example die to Black.
Decomposition of a Visual Scene into Bodies
(1967-09-01)
This memorandum describes a program which finds bodies in a scene, presumably formed by 3-dimensional objects, with some of them perhaps not completely visible.
Linearly Unrecognizable Patterns
(1967-01-01)
The central theme of this study is the classification of certain geometrical properties according to the type of computation necessary to determine whether a given figure has them.
Symbolic Mathematical Laboratory
(1967-01-01)
A large computer program has been developed to aid applied mathematicians in the solution of problems in non-numerical analysis which involve tedious manipulations of mathematical expressions. The mathematician uses ...
PDP-6 LISP (LISP 1.5) Revised
(1967-04-01)
This is a mosaic description of PDP-6 LISP, intended for readers familiar with the LISP 1.5 Programmer's Manual or who have used LISP on some other computer. Many of the features, such as the display, are subject to ...