Information and Control, 7, 1–22, 224–254.

American Documentation 15:196— 204.

In J. A. Fodor and J. J. Katz, The structure of language. Englewood Cliffs, N.J.: Prentice- Hall, 137-151.

Electrical and Computer Engineering will give you the power to change the world. From providing clean, efficient energy to controlling digital data, from global communication to nanotechnologies, from robotics to entertainment, the future is being created by our graduates today. If you want to make a difference, study Electrical and Electronic Engineering or Computer Engineering at UC - the future is in your hands.

Reprinted in Marvin Minsky (ed), Semantic Information Processing, pp. 354-402, Cambridge, MA: MIT Press, 1968.

"Among the new languages for instructing computers is a remarkable one called LISP. The name comes from the first three letters of LIST and the first letter of PROCESSING. Not only is LISP a language for instructing computers but it is also a formal mathematical language, in the same way as elëmentary algebra when rigorously defined and used is a formal mathematical language.The LISP language and its implementation on the IBM 7090 computer were worked out by a group including John McCarthy, Stephen B. Russell , Daniel J. Edwards, Paul W. Abrahams, Timothy P. Hart, Michael I. Levin, Marvin L. Minsky, and others.LISP is designed primarily for processing data consisting of lists of symbols. It has been used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic , game playing, and other fields of intelligent handling of symbols."Information International, Inc, Cambridge, Mass.

"It is well known to be impossible to tile with dominoes a checkerboard with two opposite corners deleted. This fact is readily stated in the first order predicate calculus, but the usual proof which involves a parity and counting argument does not readily translate into predicate calculus. We conjecture that this problem will be very difficult for programmed proof procedures."Stanford Artificial Intelligence Project Memo No. 16

Reprinted in Marvin Minsky (ed), Semantic Information Processing, pp. 354-402, Cambridge, MA: MIT Press, 1968.

Proceedings of the 1963 Fall Joint Computer Conference, Vol 24, pp. 365-387, Baltimore: Spartan Books

"The LISP language is designed primarily for symbolic data processing. It has been used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing, and other fields of artificial intelligence.LISP is a formal mathematical language. It is therefore podsible to give a concise yet complete description of it. Such is the purpose of this first section of the manual. Other sections will describe ways of using LISP to advantage and will explain extensions of the language which make it a convenient programming system."The M.I.T. Press