COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "lstcmd[bib,csr]" source file
C00003 00003	.next page <<AI memos>>
C00024 00004	*AIM-100,,,
C00048 00005	AIM-200, CS-365,,
C00075 00006	AIM-300, CS-617,,
C00078 ENDMK
C⊗;
.require "lstcmd[bib,csr]" source file
.EVEN HEADING (%3Computer Science,,%3Appendix B)
.ODD HEADING (%3Appendix B,,%3Computer Science)
.next page <<AI memos>>
.begin center
%3APPENDIX B

%3ARTIFICIAL INTELLIGENCE MEMOS%1
.end

.skip
.begin indent 0,10,0
*AIM-1,,,John McCarthy,
%2Predicate Calculus with `Undefined' as a Truth-value%1,
5 pages, March 1963.

*AIM-2,,AD785031
John McCarthy,
%2Situations, Actions, and Causal Laws%1,
11 pages, July 1963.

*AIM-3,,,
Fred Safier,
%2'The Mikado' an an Advice Taker Problem%1,
4 pages, July 1963.

*AIM-4,,,
Horace Enea,
%2Clock Function for LISP 1.5%1,
2 pages, August 1963.

*AIM-5,,AD785043
Horace Enea, Dean Wooldridge,
%2Algebraic Simplication%1,
2 pages, August 1963.

*AIM-6,,,
Dean Wooldridge,
%2Non-printing Compiler%1,
2 pages, August 1963.

*AIM-7,,AD785044
John McCarthy,
%2Programs With Common Sense%1,
7 pages, September 1963.

*AIM-8,,,
John McCarthy,
%2Storage Conventions in LISP 2%1,
5 pages, September 1963.

*AIM-9,,,
C. M. Williams,
%2Computing Estimates for the Number of Bisections of an NxN
Checkerboard for N Even%1,
9 pages, December 1963.

*AIM-10,,AD785045
Stephan R. Russell,
%2Improvements in LISP Debugging%1,
3 pages, December 1963.

*AIM-11,,AD785046
Dean Wooldridge, Jr.,
%2An Algebraic Simplify Program in LISP%1,
57 pages, December 1963.

*AIM-12,,,
Gary Feldman,
%2Documentation of the MacMahon Squares Problem%1,
4 pages, January 1964.

*AIM-13,,AD785047
Dean E. Wooldridge,
%2The New LISP System (LISP l.55)%1,
4 pages, February 1964.

*AIM-14,,AD785035
John McCarthy,
%2Computer Control of a Machine for Exploring Mars%1,
6 pages, January 1964.

*AIM-15,,AD785036
Mark Finkelstein, Fred Safier,
%2Axiomatization and Implementation%1,
6 pages, June 1964.

*AIM-16,,AD785037
John McCarthy,
%2A Tough nut for Proof Procedures%1,
3 pages, July 1964.

*AIM-17,,AD785038
John McCarthy,
%2Formal Description of the Game of Pang-Ke%1,
2 pages, July 1964.

*AIM-18,,AD785048
Jan Hext,
%2An Expression Input Routine for LISP%1,
5 pages, July 1964.

*AIM-19,,,
Jan Hext,
%2Programming Languages and Translation%1,
14 pages, August 1964.

*AIM-20,,AD785039
D. Raj. Reddy,
%2Source Language Optimization of For-loops%1,
37 pages, August 1964.

AIM-21,,AD785040
R. W. Mitchell,
%2LISP 2 Specifications Proposal%1,
12 pages, August 1964.  Cost: $2.05

AIM-22,,AD785041
Richard Russell,
%2Kalah -- the Game and the Program%1,
13 pages, September 1964.  Cost: $2.05

AIM-23,,AD785049
Richard Russell,
%2Improvements to the Kalah Program%1,
12 pages, September 1964.  Cost: $2.05

AIM-24,,AD785050
John McCarthy,
%2A Formal Description of a Subset of ALGOL%1,
43 pages, September 1964.  Cost: $2.90

AIM-25,,AD785051
Richard Mansfield,
%2A Formal System of Computation%1,
7 pages, September 1964.  Cost: $1.90

AIM-26,,AD785052
D. Raj. Reddy,
%2Experiments on Automatic Speech Recognition by a Digital Computer%1,
19 pages, October 1964.  Cost: $2.25

AIM-27,,AD785053
John McCarthy,
%2A Proof-checker for Predicate Calculus%1,
7 pages, March 1965.  Cost: $1.90

*AIM-28,,AD785054
John McCarthy,
%2Problems in the Theory of Computation%1,
7 pages, March 1965.

*AIM-29,,AD785055
Charles M. Williams,
%2Isolation of Important Features of a Multitoned Picture%1,
9 pages, January 1965.

*AIM-30,,AD785056
Edward A. Feigenbaum, Richard W. Watson,
%2An Initial Problem Statement for a Machine Induction Research
 Project%1,
8 pages, April 1965.

*AIM-31,,AD785057
John McCarthy,
%2Plans for the Stanford Artificial Intelligence Project%1,
17 pages, April 1965.

*AIM-32,,AD785068
Harry Ratchford,
%2The 138 Analog Digital Converter%1,
9 pages, May 1965.

AIM-33,,AD785032
Barbara Huberman,
%2The Advice Taker and GPS%1,
8 pages, June 1965.  Cost: $1.95

AIM-34,,AD785069
Peter Carah,
%2A Television Camera Interface for the PDP-1%1,
8 pages, June 1965.  Cost: $1.95

*AIM-35,,,
Fred Safier,
%2Simple Simon%1,
17 pages, June 1965.

AIM-36,,AD785065
James Painter,
%2Utilization of a TV Camera on the PDP-1%1,
6 pages, September 1965.  Cost: $1.85

*AIM-37,,,
Knut Korsvold,
%2An on Line Algebraic Simplification Program%1,
36 pages, November 1965.

AIM-38,,AD785066
Donald A. Waterman,
%2A Filter for a Machine Induction System%1,
19 pages, January 1966.  Cost: $2.25

AIM-39,,AD785067
Karl Pingle,
%2A Program to Find Objects in a Picture%1,
22 pages, January 1966.  Cost: $2.30

*AIM-40, CS-38, AD662880,
John McCarthy, James Painter,
%2Correctness of a Compiler for Arithmetic Expressions%1,
13 pages, April 1966.

*AIM-41,,,
Phil Abrams, Dianna Rode,
%2A Proposal for a Proof-checker for Certain Axiomatic Systems%1,
10 pages, May 1966.

AIM-42,,,
Karl Pingle,
%2A Proposal for a Visual Input Routine%1,
11 pages, June 1966.  Cost: $2.00

*AIM-43, CS-49, SS640-836,
D. Raj. Reddy,
%2An Approach to Computer Speech Recognition by Direct Analysis of the
 Speech Wave%1,
Thesis: Ph.D. in Computer Science,
144 pages, September 1966.

*AIM-44,,,
James Painter,
%2Semantic Correctness of a Compiler for an Algol-like Language%1,
Thesis: Ph.D. in Computer Science,
130 pages, revised March 1967.

AIM-45,,,
Donald Kaplan,
%2Some Completeness Results in the Mathematical Theory of Computation%1,
22 pages, October 1966.  Cost: $2.30

*AIM-46, CS-50, PB176761,
Staffan Persson,
%2Some Sequence Extrapolating Programs: a Study of Representation and
 Modeling in Inquiring Systems%1,
Thesis: Ph.D. in Computer Science,
176 pages, September 1966.

*AIM-47,,,
Bruce Buchanan,
%2Logics of Scientific Discovery%1,
Thesis: Ph.D. in Philosophy U.C. Berkeley,
210 pages, December 1966.

AIM-48,,,
Donald M. Kaplan,
%2Correctness of a Compiler for Algol-like Programs%1,
46 pages, July 1967.  Cost: $3.00

AIM-49,,,
Georgia Sutherland,
%2DENDRAL -- a Computer Program for Generating and Filtering Chemical
 Structures%1,
34 pages, February 1967.  Cost: $2.65

*AIM-50,,,
Anthony C. Hearn,
%2Reduce Users' Manual%1,
53 pages, February 1967.

AIM-51,,,
Lester D. Earnest,
%2Choosing an eye for a Computer%1,
154 pages, April 1967.  Cost: $6.00

AIM-52,,,
Arthur L. Samuel,
%2Some Studies in Machine Learning Using the Game of Checkers II -
 Recent Progress%1,
48 pages, June 1967.  Cost: $3.05

AIM-53,,,
William Weiher,
%2The PDP-6 Proof Checker%1,
47 pages, June 1967.  Cost: $3.00

*AIM-54,,,
Joshua Lederberg, Edward A. Feigenbaum,
%2Mechanization of Inductive Inference in Organic Chemistry%1,
29 pages, August 1967.

*AIM-55,,,
Jerome Feldman,
%2First Thoughts of Grammatical Inference%1,
18 pages, August 1967.

AIM-56,,,
William Wichman,
%2Use of Optical Feedback in the Computer Control of an Arm%1,
Thesis: Eng. in Electrical Engineering,
69 pages, August 1967.  Cost: $3.65

AIM-57,,,
Anthony C. Hearn,
%2REDUCE, a User-oriented Interactive System for Algebraic Simplification%1,
69 pages, October 1967.  Cost: $3.65

*AIM-58,,,
Monte D. Callero,
%2An Adaptive Command and Control System Utilizing Heuristic Learning
 Processes%1,
Thesis: Ph.D. in Operations Research,
161 pages, December 1967.

*AIM-59,,,
Donald M. Kaplan,
%2A Formal Theory Concerning the Equivalence of Algorithms%1,
20 pages, May 1968.

AIM-60, CS-101, AD672923,
Donald M. Kaplan,
%2The Formal Theoretic Analysis of Strong Equivalence for Elemental
 Programs%1,
Thesis: Ph.D. in Computer Science,
263 pages, June 1968.  Cost: $9.05

*AIM-61,,,
Takayasu Ito,
%2Notes on Theory of Computation and Pattern Recognition%1,
144 pages, May 1968.

*AIM-62,,,
Bruce Buchanan, Georgia Sutherland,
%2Heuristic Dendral: a Program for Generating Explanatory Hypotheses in
 Organic Chemistry%1,
76 pages, July 1968.

AIM-63,,,
Donald M. Kaplan,
%2Regular Expressions and the Equivalence of Programs%1,
42 pages, July 1968.  Cost: $2.90

*AIM-64,,,
Zohar Manna,
%2Formalization of Properties of Programs%1,
18 pages, July 1968.

*AIM-65, CS-106, AD673971,
Barbara J. Huberman,
%2A Program to Play Chess end Games%1,
Thesis: Ph.D. in Computer Science,
168 pages, August 1968.

*AIM-66,,,
Jerome A. Feldman, Paul D. Rovner,
%2An Algol-based Associative Language%1,
31 pages, August 1968.

*AIM-67,,AD680487,
Edward A. Feigenbaum,
%2Artificial Intelligence: Themes in the Second Decade%1,
39 pages, August 1968.

AIM-68,,,
Zohar Manna, Amir Pnueli,
%2The Validity Problem of the 91-function%1,
20 pages, August 1968.  Cost: $2.25

*AIM-69,, AD677588,
John McCarthy, Edward Feigenbaum, Arthur Samuel,
%2Project Technical Report%1,
90 pages, September 1968.

AIM-70,, AD680072,
Anthony C. Hearn,
%2The Problem of Substitution%1,
14 pages, December 1968.  Cost: $2.10

*AIM-71,, AD677520,
Pierre Vicens,
%2Preprocessing for Speech Analysis%1,
33 pages, October 1968.

*AIM-72, CS-116, AD680036,
Donald L. Pieper,
%2The Kinematics of Manipulators under Computer Control%1,
Thesis: Ph.D. in Mechanical Engineering,
157 pages, October 1968.

*AIM-73,, AD678878,
John McCarthy, Patrick Hayes,
%2Some Philosophical Problems From the Standpoint of Artificial
 Intelligence%1,
51 pages, November 1968.

*AIM-74, CS-118, AD681027,
Donald Waterman,
%2Machine Learning of Heuristics%1,
Thesis: Ph.D. in Computer Science,
? pages, December 1968.

*AIM-75,,,
Roger C. Schank,
%2A Notion of Linguistic Concept: a Prelude to Mechanical Translation%1,
21 pages, December 1968.

*AIM-76,,,
Roger C. Schank,
%2A Conceptual Parser for Natural Language%1,
22 pages, December 1968.

*AIM-77,,,
Joseph D. Becker,
%2The Modeling of Simple Analogic and Inductive Processes in a Semantic
 Memory System%1,
21 pages, January 1969.

AIM-78,,,
D. Raj. Reddy,
%2On the use of Environmental, Syntactic and Probalistic Constraints in
 Vision and Speech%1,
23 pages, January 1969.  Cost: $2.35

AIM-79,, AD685611,
D. Raj. Reddy, Richard B. Neely,
%2Contextual Analysis of Phonemes of English%1,
71 pages, January 1969.  Cost: $3.70

*AIM-80,, AD685612,
Georgia Sutherland,
%2Heuristic Dendral: a Family of LISP Programs%1,
46 pages, March 1969.

*AIM-81,, AD685613,
David Luckham,
%2Refinement Theorems in Resolution Theory%1,
31 pages, March 1969.

*AIM-82,, AD685614,
Zohar Manna, Amir Pneuli,
%2Formalization of Properties of Recursively Defined Functions%1,
26 pages, March 1969.

*AIM-83, CS-130,,
Roger C. Schank,
%2A Conceptual Representation for Computer-oriented Semantics%1,
Thesis: Ph.D. in Linguistics U. of Texas,
201 pages, March 1969.

*AIM-84,, AD691791,
David Canfield Smith,
%2MLISP Users' Manual%1,
57 pages, January 1969.

*AIM-85, CS-127, AD687720,
Pierre Vicens,
%2Aspects of Speech Recognition by Computer%1,
Thesis: Ph.D. in Computer Science,
210 pages, April 1969.

*AIM-86,, AD691788,
Patrick J. Hayes,
%2A Machine-oriented Formulation of the Extended Functional Calculus%1,
44 pages, June 1969.

*AIM-87,, AD691789,
John McCarthy, A.I. Project Staff,
%2Project Technical Report%1,
98 pages, June 1969.

*AIM-88,, AD691790,
Roger C. Schank,
%2Linguistics from a Conceptual Viewpoint (Aspects of Aspects of a
 Theory of Syntax)%1,
22 pages, April 1969.

AIM-89, CS-125, AD692390,
Jerome A. Feldman, J. Gips, J. J. Horning, and S. Reder,
%2Grammatical Complexity and Inference%1,
100 pages, June 1969.  Cost: $4.50

*AIM-90,, AD691799,
Anthony C. Hearn,
%2Standard LISP%1,
33 pages, May 1969.

*AIM-91,,,
J. A. Campbell and Anthony C. Hearn,
%2Symbolic Analysis of Feynman Diagrams by Computer%1,
73 pages, August 1969.

*AIM-92,,,
Victor D. Scheinman,
%2Design of a Computer Controlled Manipulator%1,
Thesis: Eng. in Mechanical Engineering,
53 pages, June 1969.

AIM-93.1,, AD693106,
Jerome Feldman,
%2Some Decidability Results on Grammatical Inference and Complexity%1,
31 pages, August 1969, revised May 1970.  Cost: $2.55

*AIM-94,, AD692391,
Kenneth Mark Colby, Lawrence Tesler, Horace Enea,
%2Experiments With a Search Algorithm on the Data Base of a Human
 Belief Structure%1,
28 pages, August 1969.

*AIM-95,, AD694971,
Zohar Manna,
%2The Correctness of Non-deterministic Programs%1,
44 pages, August 1969.

*AIM-96, CS-138, AD696394,
Claude Cordell Green,
%2The Application of Theorem Proving to Question-answering Systems%1,
Thesis: Ph.D. in Electrical Engineering,
166 pages, August 1969.

*AIM-97,, AD694972,
Kenneth Mark Colby, David Canfield Smith,
%2Dialogues Between Humans and an Artificial Belief System%1,
28 pages, August 1969.

AIM-98, CS-139, AD695401,
James Jay Horning,
%2A Study of Grammatical Inference%1,
Thesis: Ph.D. in Computer Science,
166 pages, August 1969.  Cost: $6.35

*AIM-99,,,
Bruce G. Buchanan, G. L. Sutherland, E. A. Feigenbaum,
%2Toward an Understanding of Information Processes of Scientific
 Inference in the Context of Organic Chemistry%1,
66 pages, September 1969.

*AIM-100,,,
Zohar Manna, John McCarthy,
%2Properties of Programs and Partial Function Logic%1,
21 pages, October 1969.

*AIM-101,,,
Richard Paul, G. Falk, J. A. Feldman,
%2The Computer Representation of Simply Described Scenes%1,
16 pages, October 1969.

*AIM-102,,,
Donald A. Waterman,
%2Generalization Learning for Automating the Learning of Heuristics%1,
74 pages, July 1969.

AIM-103,,,
John Allen, David Luckham
%2An Interactive Theorem-proving Program%1,
27 pages, October 1969.  Cost: $2.45

AIM-104,,,
Joshua Lederberg, Georgia Sutherland, B. G. Buchanan, E. A. Feigenbaum,
%2A Heuristic Program for Solving a Scientific Inference Problem:
 Summary of Motivation and Implementation%1,
15 pages, November 1969.  Cost: $2.15

*AIM-105,,,
Manfred Heuckel,
%2An Operator Which Locates Edges in Digitized Pictures%1,
37 pages, October 1969.

*AIM-106,,,
Michael Edwin Kahn,
%2The Near-minimum-time Control of Open-loop Articulated Kinematic
 Chains%1,
Thesis: Ph.D. in Mechanical Engineering,
171 pages, December 1969.

*AIM-107,,,
Gilbert Falk,
%2Some Implications of Planarity for Machine Perception%1,
27 pages, December 1969.

*AIM-108,,,
Michael D. Kelly,
%2Edge Detection in Pictures by Computer Using Planning%1,
28 pages, January 1970.

*AIM-109,,,
Roger C. Schank, Lawrence Tesler, Sylvia Weber,
%2Spinoza II: Conceptual Case-based Natural Language Analysis%1,
107 pages, January 1970.

*AIM-110,,,
Edward Ashcroft, Zohar Manna,
%2Formalization of Properties of Parallel Programs%1,
58 pages, February 1970.

*AIM-111,,,
Zohar Manna,
%2Second-order Mathematical Theory of Computation%1,
25 pages, March 1970.

*AIM-112,,,
Franklin D. Hilf, Kenneth M. Colby, David C. Smith, William K. Wittner,
%2Machine-mediated Interviewing%1,
27 pages, March 1970.

*AIM-113,,,
Kenneth Mark Colby, Franklin D. Hilf, William A. Hall,
%2A Mute Patient's Experience With Machine-mediated Interviewing%1,
19 pages, March 1970.

*AIM-114,,,
Alan W. Biermann, Jerome A. Feldman,
%2On the Synthesis of Finite-state Acceptors%1,
31 pages, April 1970.

AIM-115,,,
Ugo Montanari,
%2On the Optimal Detection of Curves in Noisy Pictures%1,
35 pages, March 1970.  Cost: $2.70

*AIM-116,,,
Kenneth Mark Colby,
%2Mind and Brain, Again%1,
10 pages, March 1970.

*AIM-117,,,
John McCarthy, et al,
%2Project Technical Report%1,
75 pages, April 1970.

AIM-118,,,
Ugo Montanari,
%2Heuristically Guided Search and Chromosome Matching%1,
29 pages, April 1970.  Cost: $2.50

*AIM-119,,,
Joseph Becker,
%2An Information-processing Model of Intermediate-Level Cognition%1,
Thesis:  Ph.D. in Computer Science (May 1972),
123 pages, May 1970.

*AIM-120,,,
Kenneth Mark Colby, David Canfield Smith,
%2Computer as Catalyst in the Treatment of Nonspeaking Autistic
 Children%1,
32 pages, April 1970.

*AIM-121,,,
Irwin Sobel,
%2Camera Models and Machine Perception%1,
Thesis: Ph.D. in Electrical Engineering,
89 pages, May 1970.

*AIM-122,,,
Roger C. Schank,
%2'Semantics' in Conceptual Analysis%1,
56 pages, May 1970.

*AIM-123,,,
Bruce G. Buchanan, Thomas E. Headrick,
%2Some Speculation About Artificial Intelligence and Legal Reasoning%1,
54 pages, May 1970.

AIM-124,,,
M. M. Astrahan,
%2Speech Analysis by Clustering, or the Hyperphoneme Method%1,
22 pages, June 1970.  Cost: $2.30

*AIM-125,,,
Kenneth Mark Colby, Sylvia Weber, Franklin Hilf,
%2Artificial Paranoia%1,
35 pages, July 1970.

*AIM-126, CS-169, AD711329,
Donald E. Knuth,
%2Examples of Formal Semantics%1,
34 pages, July 1970.

AIM-127, CS-174, AD711395,
Zohar Manna, Richard J. Waldinger,
%2Towards Automatic Program Synthesis%1,
54 pages, July 1970.  Cost: $3.20

*AIM-128, CS-166, AD713841,
Erik J. Sandewall,
%2Representing Natural-language Information in Predicate Calculus%1,
27 pages, July 1970.

*AIM-129, CS-167, AD712460,
Shigeru Igarashi,
%2Semantics of ALGOL-like Statements%1,
95 pages, June 1970.

*AIM-130, CS-168, AD713252,
Michael D. Kelly,
%2Visual Identification of People by Computer%1,
Thesis: Ph.D. in Computer Science,
238 pages, July 1970.

*AIM-131, CS-176, AD715128,
Edward A. Feigenbaum, Bruce G. Buchanan, Joshua Lederberg,
%2On Generality and Problem Solving: a Case Study Using the Dendral
 Program%1,
48 pages, August 1970.

*AIM-132, CS-180, AD715665,
Gilbert Falk,
%2Computer Interpretation of Imperfect Line Data as a Three-dimensional
 Scene%1,
Thesis: Ph.D. in Electrical Engineering,
187 pages, August 1970.

*AIM-133, CS-181,,
Anthony C. Hearn,
%2Reduce 2%1,
Diskfile: REDUCE.ACH[AIM,DOC],
85 pages, October 1970.

*AIM-134, CS-182, AD748565,
Jay Martin Tenenbaum,
%2Accommodation in Computer Vision%1,
Thesis: Ph.D. in Electrical Engineering,
452 pages, September 1970.

AIM-135, CS-179, AD716566,
David Canfield Smith,
%2MLISP%1,
Diskfile: MLISP.DAV[AIM,DOC]
99 pages, October 1970.  Cost: $4.50

*AIM-136, CS-183, AD717600,
George M. White,
%2Machine Learning Through Signature Trees. Applications to Human
 Speech%1,
40 pages, October 1970.

*AIM-137,,,
Donald E. Knuth,
%2An Empirical Study of Fortran in Use%1,
44 pages, November 1970.

*AIM-138, CS-188, PB197161,
Edward Ashcroft, Zohar Manna,
%2The Translation of 'GO-TO' Programs to `WHILE' Programs%1,
28 pages, January 1971.

AIM-139, CS-189, AD717601,
Zohar Manna,
%2Mathematical Theory of Partial Correctness%1,
24 pages, January 1971.  Cost: $2.40

*AIM-140, CS-193,,
Roger C. Schank,
%2Intention, Memory, and Computer Understanding%1,
59 pages, January 1971.

*AIM-141, CS-203, AD730506,
Bruce G. Buchanan, Joshua Lederberg,
%2The Heuristic DENDRAL Program for Explaining Empirical Data%1,
20 pages, February 1971.

*AIM-142, CS-205, AD731383,
Robin Milner,
%2An Algebraic Definition of Simulation Between Programs%1,
21 pages, February 1971.

*AIM-143, CS-209, AD724867,
John McCarthy, et al,
%2Project Technical Report%1,
80 pages, March 1971.

AIM-144, CS-219,,
Lynn H. Quam,
%2Computer Comparison of Pictures%1,
Thesis: Ph.D. in Computer Science,
120 pages, May 1971.  Cost: $5.05

*AIM-145, CS-221, AD731729,
Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg,
%2A Heuristic Programming Study of Theory Formation in Science%1,
41 pages, June 1971.

*AIM-146, CS-224, PB212183,
Andrei P. Ershov,
%2Parallel Programming%1,
14 pages, July 1971.

*AIM-147, CS-216, AD732457,
Robert E. Kling,
%2Reasoning by Analogy with Applications to Heuristic Problem Solving:
 a Case Study%1,
Thesis: Ph.D. in Computer Science,
191 pages, August 1971.

AIM-148, CS-217, AD731730,
Edward Ashcroft, Zohar Manna, Amir Pneuli,
%2Decidable Properties of Monadic Functional Schemas%1,
10 pages, July 1971.  Cost: $2.00

AIM-149, CS-231, AD732644,
Rodney Albert Schmidt, Jr.,
%2A Study of the Real-time Control of a Computer-driven Vehicle%1,
Thesis: Ph.D. in Electrical Engineering,
180 pages, August 1971.  Cost: $6.75

*AIM-150,,,
Robert W. Floyd,
%2Toward Interactive Design of Correct Programs%1,
12 pages, September 1971.

*AIM-151, CS-240, AD738568,
Ralph L. London,
%2Correctness of Two Compilers for a LISP Subset%1,
41 pages, October 1971.

*AIM-152, CS-241, AD732642,
Alan W. Biermann,
%2On the Inference of Turing Machines from Sample Computations%1,
31 pages, October 1971.

*AIM-153, CS-242, AD738569,
Patrick J. Hayes,
%2The Frame Problem and Related Problems in Artificial Intelligence%1,
18 pages, November 1971.

*AIM-154, CS-243, AD738570,
Zohar Manna, Stephen Ness, Jean Vuillemin,
%2Inductive Methods for Proving Properties of Programs%1,
24 pages, November 1971.

*AIM-155, CS-245,,
Jonathan Leonard Ryder,
%2Heuristic Analysis of Large Trees as Generated in the Game of Go%1,
Thesis: Ph.D. in Computer Science,
300 pages, December 1971.

AIM-156, CS-246, AD740141,
Kenneth Mark Colby, Franklin D. Hilf, Sylvia Weber, Helena C. Kraemer,
%2A Resemblance Test for the Validation of a Computer Simulation of
 Paranoid Processes%1,
29 pages, November 1971.  Cost: $2.50

*AIM-157, CS-247,,
Yorick Wilks,
%2One Small Head -- Some Remarks on the use of `Model' in Linguistics%1,
17 pages, December 1971.

AIM-158, CS-250, AD740127,
Ashok Chandra, Zohar Manna,
%2Program Schemas With Equality%1,
13 pages, December 1971.  Cost: $2.05

AIM-159, CS-253,,
Jerome A. Feldman, Paul C. Shields,
%2Total Complexity and Inference of Best Programs%1,
40 pages, April 1972.  Cost: $2.85

*AIM-160, CS-255, AD740140,
Jerome A. Feldman,
%2Automatic Programming%1,
20 pages, February 1972.

*AIM-161, CS-264, AD741189,
Yorick Wilks,
%2Artificial Intelligence approach to Machine Translation%1,
44 pages, February 1972.

*AIM-162, CS-265, AD744634,
Roger C. Schank, N. Goldman, C. J. Rieger, C. K. Riesbeck,
%2Primitive Concepts Underlying Verbs of Thought%1,
102 pages, April 1972.

*AIM-163, CS-266,,
Jean M. Cadiou,
%2Recursive Definitions of Partial Functions and Their Computations%1,
Thesis: Ph.D. in Computer Science,
160 pages, April 1972.

AIM-164, CS-272, AD742748,
Zohar Manna, Jean Vuillemin,
%2Fixpoint Approach to the Theory of Computation%1,
29 pages, April 1972.  Cost: $2.50

*AIM-165, CS-280, AD742751,
D. A. Bochvar,
%2Two Papers on Partial Predicate Calculus%1,
50 pages, April 1972.

AIM-166, CS-281, AD-743598,
Lynn H. Quam, S. Liebes, R. B. Tucker, M. J. Hannah, B. G. Eross,
%2Computer Interactive Picture Processing%1,
40 pages, April 1972.  Cost: $2.85

AIM-167, CS-282, AD747254,
Ashok K. Chandra,
%2Efficient Compilation of Linear Recursive Programs%1,
43 pages, June 1972.  Cost: $2.90

AIM-168, CS-287, AD746146,
Shigeru Igarashi,
%2Admissibility of Fixed-point Induction in First-order Logic of Typed 
 Theories%1,
Diskfile: FIXPNT.IGR[AIM,DOC]
40 pages, May 1972.  Cost: $2.85

*AIM-169, CS-288, AD785072
Robin Milner,
%2Logic for Computable Functions: Description of a Machine Implementation%1,
Diskfile: LCFMAN.RGM[AIM,DOC],
36 pages, May 1972.

*AIM-170, CS-289, AD748607,
Yorick Wilks,
%2Lakoff on Linguistics and Natural Logic%1,
Diskfile: LAKOFF.YAW[AIM,DOC]
19 pages, June 1972.

*AIM-171, CS-290, AD746147,
Roger Schank,
%2Adverbs and Belief%1,
30 pages, June 1972.

*AIM-172, CS-299, AD752801,
Sylvia Weber Russell,
%2Semantic Categories of Nominals for Conceptual Dependency Analysis of 
 Natural Language%1,
64 pages, July 1972.

*AIM-173, CS-305, AD755139,
Gerald Jacob Agin,
%2Representation and Description of Curved Objects%1,
Thesis: Ph.D. in Computer Science,
134 pages, October 1972.

*AIM-174, CS-303, PB212827,
Francis Lockwood Morris,
%2Correctness of Translations of Programming Languages -- an Algebraic
 Approach%1,
Thesis: Ph.D. in Computer Science,
124 pages, August 1972.

AIM-175, CS-307, AD785073
Hozumi Tanaka,
%2Hadamard Transform for Speech Wave Analysis%1,
Diskfile: HADAM.HT[AIM,DOC],
34 pages, August 1972.  Cost: $2.65

*AIM-176, CS-308, AD754109,
Jerome A. Feldman, J. R. Low, D. C. Swinehart, R. H. Taylor,
%2Recent Developments in SAIL -- an ALGOL based Language for Artificial 
 Intelligence%1,
22 pages, November 1972.

*AIM-177, CS-311, AD785071
Richard Paul,
%2Modelling, Trajectory Calculation and Servoing of a Computer Controlled 
 Arm%1,
Thesis: Ph.D. in Computer Science,
89 pages, November 1972.

*AIM-178, CS-312, AD754108,
Aharon Gill,
%2Visual Feedback and Related Problems in Computer Controlled Hand eye
 Coordination%1,
Thesis:  Ph.D. in Electrical Engineering,
130 pages, October 1972.

*AIM-179, CS-320,,
Bruce G. Baumgart,
%2Winged Edge Polyhedron Representation%1,
46 pages, October 1972.

*AIM-180, CS-321, AD759712,
Ruzena Bajcsy,
%2Computer Identification of Textured Visual Scenes%1,
Thesis:  Ph.D. in Computer Science,
156 pages, October 1972.

*AIM-181, CS-325,,
Bruce G. Buchanan,
%2Review of Hubert Dreyfus' `What Computers Can't Do': a Critique of 
 Artificial Reason%1,
14 pages, November 1972.

*AIM-182, CS-326, AD754107,
Kenneth Mark Colby and Franklin Dennis Hilf,
%2Can Expert Judges, using Transcripts of Teletyped Psychiatric Interviews,
 Distinguish Human Paranoid Patients from a Computer Simulation of Paranoid
 Processes?%1,
10 pages, December,1972.

*AIM-183, CS-344, AD759716,
Roger C. Schank,
%2The Fourteen Primitive Actions and their Inferences%1,
70 pages, March 1973.

*AIM-184, CS-330, AD758651,
Malcolm Newey,
%2Axioms and Theorems for Integers, Lists and Finite Sets in LCF%1,
53 pages, January 1973.

*AIM-185, CS-333, AD757367,
Ashok K. Chandra, Zohar Manna,
%2On the Power of Programming Features%1,
29 pages, January 1973.

*AIM-186, CS-332, AD758645,
Robin Milner,
%2Models of LCF%1,
17 pages, January 1973.

*AIM-187, CS-331, AD757364,
George E. Collins,
%2The Computing Time of the Euclidean Algorithm%1,
17 pages, January 1973.

*AIM-188, CS-336, AD758646,
Ashok K. Chandra,
%2On the Properties and Applications of Program Schemas%1,
Thesis: Ph.D. in Computer Science,
231 pages, March 1973.

*AIM-189, CS-337, PB218682,
James Gips, George Stiny,
%2Aesthetics Systems%1,
22 pages, January 1973.

AIM-190, CS-340, AD759714,
Malcolm Newey,
%2Notes on a Problem Involving Permutations as Sequences%1,
20 pages, March 1973.  Cost: $2.25

AIM-191, CS-341, AD764272,
Shmuel M. Katz, Zohar Manna,
%2A Heuristic Approach to Program Verification%1,
40 pages, March 1973.  Cost: $2.85

AIM-192, CS-345, AD785074
George E. Collins, Ellis Horowitz,
%2The Minimum Root Separation of a Polynomial%1,
13 pages, April 1973.  Cost: $2.05

*AIM-193, CS-346, AD759717,
Kenneth Mark Colby,
%2The Rationale for Computer Based Treatment of Language Difficulties
 in Nonspeaking Autistic Children%1,
Diskfile: AUTISM.KMC[AIM,DOC],
13 pages, March 1973.

AIM-194, CS-347, PB221170/4,
Kenneth Mark Colby, Franklin Dennis Hilf,
%2Multidimensional Analysis in Evaluating a Simulation of Paranoid
 Thought%1,
10 pages, May 1973.  Cost: $2.00

*AIM-195, CS-356, PB222164,
David Canfield Smith, Horace J. Enea,
%2MLISP2%1,
Diskfile: MLISP2.DAV[AIM,DOC],
91 pages, May 1973.

*AIM-196, CS-357, AD762471,
Neil M. Goldman, Christopher K. Riesbeck,
%2A Conceptually Based Sentence Paraphraser%1,
Diskfile:  MARGIE.NMG[AIM,DOC],
88 pages, May 1973.

*AIM-197, CS-358, AD762470,
Roger C. Schank, Charles J. Rieger III,
%2Inference and the Computer Understanding of Natural Language%1,
63 pages, May 1973.

AIM-198, CS-364, AD763611,
Ravindra B. Thosar,
%2Estimation of Probability Density using Signature Tables for
 Application to Pattern Recognition%1,
37 pages, May 1973.  Cost: $2.75

AIM-199, CS-398, AD771300,
Bruce G. Baumgart,
%2Image Contouring and Comparing%1,
52 pages, October 1973.  Cost: $3.15

⊗AIM-200, CS-365,,
Shigeru Igarashi, David C. Luckham, Ralph L. London,
%2Automatic Program Verification I:  Logical Basis and its
 Implementation%1,
50 pages, May 1973.

*AIM-201, CS-366, AD763673,
Gunnar Rutger Grape,
%2Model Based (Intermediate Level) Computer Vision%1,
Thesis:  Ph.D. in Computer Science,
256 pages, May 1973.

*AIM-202, CS-368, AD764396,
Roger C. Schank, Yorick Wilks,
%2The Goals of Linguistic Theory Revisited%1,
44 pages, May 1973.

*AIM-203, CS-369, AD764274,
Roger C. Schank,
%2The Development of Conceptual Structures in Children%1,
31 pages, May 1973.

*AIM-204, CS-373, AD765353,
Kurt VanLehn,
%2SAIL Users Manual%1,
Diskfile:  SAIL.KVL[AIM,DOC],
122 pages, July 1973.

*AIM-205, CS-370, AD764288,
N. S. Sridharan, et al,
%2A Heuristic Program to Discover Syntheses for Complex Organic
 Molecules%1,
30 pages, June 1973.

AIM-206, CS-377, AD764652,
Yorick Wilks,
%2Preference Semantics%1,
20 pages, July 1973.  Cost: $2.25

AIM-207, CS-378, AD767333,
James Anderson Moorer,
%2The 'Optimum-comb' Method of Pitch Period Analysis in Speech%1,
25 pages, June 1973.  Cost: $2.40

AIM-208, CS-379, AD767334,
James Anderson Moorer,
%2The Heterodyne Method of Analysis of Transient Waveforms%1,
25 pages, June 1973.  Cost: $2.40

*AIM-209, CS-380, AD767695,
Yoram Yakimovsky,
%2Scene Analysis using a Semantic Base for Region Growing%1,
Thesis:  Ph.D. in Computer Science,
120 pages, July 1973.

AIM-210, CS-382, AD767335,
Zohar Manna, Amir Pnueli,
%2Axiomatic Approach to Total Correctness of Programs%1,
25 pages, July 1973.  Cost: $2.40


*AIM-211, CS-383, AD769673,
Yorick Wilks,
%2Natural Language Inference%1,
24 pages, September 1973.

*AIM-212, CS-384, AD769379,
Annette Herskovits,
%2The Generation of French from a Semantic Representation%1,
20 pages, September 1973.

AIM-213, CS-385,,
Ravindra B. Thosar,
%2Recognition of Continuous Speech: Segmentation and Classification
using Signature Table Adaptation%1,
37 pages, September 1973.  Cost: $2.75

*AIM-214, CS-386, AD767332,
Walter A. Perkins, Thomas O. Binford,
%2A Corner Finder for Visual Feedback%1,
59 pages, September 1973.

*AIM-215, CS-387, AD769380,
Bruce G. Buchanan, N. S. Sridharan,
%2Analysis of Behavior of Chemical Molecules: Rule Formation on
 Non-homogeneous Classes of Objects%1,
15 pages, September 1973.

*AIM-216, CS-389, AD771299,
Larry Masinter, N.S. Sridharan, J. Lederberg, S. H. Smith,
%2Applications of Artificial Intelligence for Chemical Inference:
XII.  Exhaustive Generation of Cyclic and Acyclic Isomers%1,
60 pages, September 1973.

*AIM-217, CS-391, AD770610,
N. S. Sridharan,
%2Search Strategies for the Task of Organic Chemical Synthesis%1,
32 pages, August 1973.

*AIM-218, CS-393, AD772063/4WC,
Jean Etienne Vuillemin,
%2Proof Techniques for Recursive Programs%1,
Thesis:  Ph.D. in Computer Science,
97 pages, October 1973.

*AIM-219, CS-394, AD769674,
C. A. R. Hoare,
%2Parallel Programming: an Axiomatic Approach%1,
33 pages, October 1973.

AIM-220, CS-396, AD772064/2WC,
Robert Bolles, Richard Paul,
%2The use of Sensory Feedback in a Programmable Assembly Systems%1,
26 pages, October 1973.  Cost: $2.45

⊗AIM-221, CS-447, AD787631/1WC,
Luigia Aiello, Mario Aiello, Richard Weyhrauch,
%2The Semantics of PASCAL in LCF%1,
78 pages, October 1974.

∞AIM-222, CS-467,,
Mario Aiello, Richard Weyhrauch,
%2Checking Proofs in the Metamathematics of First Order Logic%1,
55 pages, August 1974.  Cost: $3.25

*AIM-223, CS-400, AD772509,
C. A. R. Hoare,
%2Recursive Data Structures%1,
32 pages, December 1973.

⊗AIM-224, CS-403, AD773391,
C. A. R. Hoare,
%2Hints on Programming Language Design%1,
29 pages, December 1973.

⊗AIM-225, CS-406, AD775645/5WC,
W. A. Perkins,
%2Memory Model For a Robot%1,
118 pages, January 1974.

⊗AIM-226, CS-407, AD778310/3WC,
F.H.G. Wright II, R. E. Gorin,
%2FAIL%1,
61 pages, April 1974.

⊗AIM-227, CS-408, ADA003483,
A. J. Thomas, T. O. Binford,
%2Information Processing Analysis of Visual Perception: A Review%1,
50 pages, June 1974.

⊗AIM-228, CS-409, AD776233/9WC,
Lester Earnest (ed.),
%2FINAL REPORT:  The First Ten Years of Artificial Intelligence 
 Research at Stanford%1,
118 pages, July 1973.

⊗AIM-229, CS-411,,
D.B. Anderson, T.O. Binford, A.J. Thomas, R.W. Weyhrauch, Y.A. Wilks,
%2AFTER LEIBNIZ . . . : Discussions on Philosophy and Artificial Intelligence%1,
43 pages, April 1974.

⊗AIM-230, CS-412, AD786721/1WC,
Daniel C. Swinehart,
%2COPILOT:  A Multiple Process Approach to Interactive Programming Systems%1,
Thesis:  Ph.D. in Computer Science,
213 pages, August 1974.

⊗AIM-231, CS-413, ADA001814,
James Gips,
%2Shape Grammars and their Uses%1,
Thesis:  Ph.D. in Computer Science,
243 pages, August 1974.

⊗AIM-232, CS-414, AD780452/9WC,
Bruce G. Baumgart,
%2GEOMED - A Geometric Editor%1,
45 pages, May 1974.

⊗AIM-233, CS-419, ADA000086/9WC,
Charles J. Rieger, III,
%2Conceptual Memory:  A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances%1,
Thesis:  Ph.D. in Computer Science,
393 pages, June 1974.

⊗AIM-234, CS431, not at NTIS,
Kenneth Mark Colby, Roger C. Parkison, Bill Faught,
%2Pattern-Matching Rules for the Recognition of Natural Language Dialogue
Expressions%1,
23 pages, June 1974.

∞AIM-235, CS-432, ADA006898/1WC,
Richard  W. Weyhrauch, Arthur J. Thomas,
%2FOL:  A Proof Checker for First-order Logic%1,
57 pages, September 1974.  Cost: $3.30

⊗AIM-236, CS-433, AD784513/4WC,
Jack R. Buchanan and David C. Luckham,
%2On Automating the Construction of Programs%1,
65 pages, May 1974.

⊗AIM-237, CS-436,,
Yorick Wilks,
%2Natural Language Understanding Systems Within the AI Paradigm --
A Survey and Some Comparisons%1,
40 pages, December 1974.

⊗AIM-238, CS-437, ADA005040,
Christopher K. Riesbeck,
%2Computational Understanding:  Analysis of Sentences and Context%1,
Thesis:  Ph.D. in Computer Science,
245 pages, May 1974.

⊗AIM-239, CS-438, AD786720/3WC,
Marsha Jo Hannah,
%2Computer Matching of Areas in Stereo Images%1,
Thesis:  Ph.D. in Computer Science,
99 pages, July 1974.

⊗AIM-240, CS-444, AD787035,
C. Cordell Green, Richard J. Waldinger, David R. Barstow, Robert Elschlager,
Douglas B. Lenat, Brian P. McCune, David E. Shaw, and Louis I. Steinberg,
%2Progress Report on Program-understanding Systems%1,
47 pages, August 1974.

∞AIM-241, CS-446, AD786723/7WC,
Luigia Aiello, Richard W. Weyhrauch,
%2LCFsmall:  an Implementation of LCF%1,
45 pages, August 1974.  Cost: $2.95

⊗AIM-242, CS-452, ADA000500/9WC,
James R. Low,
%2Automatic Coding:  Choice of Data Structures%1,
Thesis:  Ph.D. in Computer Science,
110 pages, August 1974.

⊗AIM-243, CS-456, ADA003815,
Raphael Finkel, Russel Taylor, Robert Bolles, Richard Paul, Jerome Feldman,
%2AL, A Programming System for Automation%1,
130 pages, November 1974.

⊗AIM-244, CS-457, not at NTIS,
Kenneth Mark Colby,
%2Ten Criticisms of PARRY%1,
7 pages, September 1974.

⊗AIM-245, CS-458, AD784816/1WC,
Jack Buchanan,
%2A Study in Automatic Programming%1,
Thesis:  Ph.D. in Computer Science,
148 pages, May 1974.

⊗AIM-246, CS459, ADA000085/1WC,
Terry Winograd,
%2Five Lectures on Artificial Intelligence%1,
93 pages, September 1974.

⊗AIM-247, CS-461, ADA005041/9WC,
Neil Goldman,
%2Computer Generation of Natural Language From a Deep Conceptual Base%1,
Thesis: Ph.D. in Computer Science,
318 pages, January 1974.

∞AIM-248, CS-462,,
Karl Pingle, Arthur Thomas,
%2A Fast, Feature-Driven Stereo Depth Program%1,
15 pages, May 1975.  Cost: $2.15

⊗AIM-249, CS-463, ADA002261,
Bruce Baumgart,
%2Geometric Modeling for Computer Vision%1,
Thesis: Ph.D. in Computer Science,
141 pages, October 1974.

⊗AIM-250, CS-464, ADA003486,
Ramakant Nevatia,
%2Structured Descriptions of Complex Curved Objects for Recognition and
Visual Memory%1,
Thesis:  Ph.D. in Electrical Engineering,
126 pages, October 1974.

⊗AIM-251,  CS-465, ADA001373,
Edward  H.  Shortliffe,  
%2MYCIN:   A  Rule-Based Computer  Program  for  Advising Physicians  
Regarding  Antimicrobial Therapy Selection%1, 
Thesis: Ph.D. in Medical Information Sciences, 
409 pages, October 1974. 

⊗AIM-252, CS-466, ADA002246,
Lester Earnest (ed.),
%2Recent Research in Artificial Intelligence, Heuristic Programming, and
Network Protocols%1,
74 pages, July 1974.

∞AIM-253, CS-471, ADA003487,
Bill Faught, Kenneth Colby, Roger Parkison,
%2The Interaction of Inferences, Affects, and Intentions in a Model of
Paranoia%1,
38 pages, December 1974.  Cost: $2.75

∞AIM-254, CS-472, ADA005407/2WC,
Lynn Quam, Marsha Jo Hannah,
%2Stanford Automatic Photogrammetry Research%1,
15 pages, November 1974.  Cost: $2.15

⊗AIM-255, CS-473, ADA005412/2WC,
Norihisa Suzuki,
%2Automatic Program Verification II:  Verifying Programs by Algebraic
256 Logical Reduction%1,
29 pages, December 1974.

⊗AIM-256, CS-474, ADA007563/0WC,
Friedrich W. V.Henke, David C. Luckham,
%2Automatic Program Verification III: A Methodology for Verifying Programs%1,,
45 pages, December 1974.

⊗AIM-257, CS-475, ADA005407/2WC,
Malcolm C. Newey,
%2Formal Semantics of LISP With Applications to Program Correctness%1,
Thesis:  Ph.D. in Computer Science,
184 pages, January 1975.

⊗AIM-258, CS-476, ADA006294/3WC,
Cordell Green, David Barstow,
%2A Hypothetical Dialogue Exhibiting a Knowledge Base for a 
Program-Understanding System%1,
38 pages, January 1975.

⊗AIM-259, CS-498,,
Hanan Samet,
%2Automatically Proving the Correctness of Translations
Involving Optimized Code%1,
Thesis:  PhD in Computer Science,
214 pages, May 1975.

⊗AIM-260, CS-499, ADA016811/2WC,
David Canfield Smith,
%2PYGMALION: A Creative Programming Environment%1,
Thesis:  PhD in Computer Science,
193 pages, June 1975.

∞AIM-261, CS-501, ADA016808/8WC,
Odd Pettersen,
%2Procedural Events as Software Interrupts%1,
8 pages, June 1975.  Cost: $1.95

∞AIM-262, CS-502, ADA016810/4WC,
Odd Pettersen,
%2Synchronization of Concurrent Processes%1,
14 pages, July 1975.  Cost: $2.10

∞AIM-263, CS-503,,
Odd Pettersen,
%2The Macro Processing System STAGE2: Transfer of Comments to the Generated Text%1,
20 pages, July 1975.  Cost: $2.25

∞AIM-264, CS-506,,
Michael Gordon,
%2Operational Reasoning and Denotational Semantics%1,
33 pages, August 1975.  Cost: $2.65

∞AIM-265, CS-507,,
Michael Gordon,
%2Towards a Semantic Theory of Dynamic Binding%1,
28 pages, August 1975.  Cost: $2.50

∞AIM-266, CS-517, ADA019641,
Randall Davis, Bruce Buchanan, Edward Shortliffe,
%2Production Rules as a Representation for a Knowledge-Based Consultation
  Program%1,
37 pages, October l975.  Cost: $2.75

∞AIM-267, CS-520, ADA019664/2WC,
Friedrich W. von Henke,
%2On the Representation of Data Structures in LCF with Applications to
  Program Generation%1,
41 pages, September l975.  Cost: $2.85

∞AIM-268, CS-521, ADA019663/4WC,
Clark Thompson,
%2Depth Perception in Stereo Computer Vision%1,
16 pages, October 1975.  Cost: $2.15

∞AIM-269, CS-522, ADA019569/3WC,
David C. Luckham, Norhisa Susuzki,
%2Automatic Program Verification IV: Proof of Termination Within a Weak Logic
 of Programs%1,
29 pages, October 1975.     Cost: $2.50

⊗AIM-270, CS-523, ADA019467,
John F. Reiser,
%2BAIL -- A debugger for SAIL%1,
26 pages, October 1975.

∞AIM-271, CS-524, ADA019702/0WC,
Randall David, Jonathan King,
%2An Overview of Production Systems%1,
40 pages, October 1975.  Cost: $2.85

∞AIM-272, CS-525,,
Sundaram Ganapathy,
%2Reconstruction of Scenes Containing Polyhedra From Stereo Pair of Views%1,
Thesis:  Ph.D. in Computer Science,
204 pages, December 1975.  Cost: $7.40

⊗AIM-273, CS-534,,
Linda Gail Hemphill,
%2A Conceptual Approach to Automated Language Understanding and Belief
 Structures: with Disambiguation of the Word `For'%1,
Thesis: Ph.D. in Linguistics,
254 pages, May 1975.

∞AIM-274, CS-536, ADA020942/9WC,
David Grossman, Russell Taylor,
%2Interactive Generation of Object Models with a Manipulator%1,
32 pages, December 1975.  Cost: $2.60

∞AIM-275, CS-537, ADA020943/7WC,
Robert C. Bolles,
%2Verification Vision Within a Programmable Assembly System: An
  Introductory Discussion%1,
82 pages, December 1975.  Cost: $4.00

∞AIM-276, CS-539, ADA021055/9WC,
Zohar Manna, Adi Shamir,
%2A New Approach to Recursive Programs%1,
25 pages, December 1975.  Cost: $2.40

⊗AIM-277, CS-542, ADA027454,
Zohar Manna, Adi Shamir,
%2The Theoretical Aspects of the Optimal Fixedpoint%1,
24 pages, March 1976.

∞AIM-278, CS-549, ADA027455,
David Luckham, Norihisa Suzuki,
%2Automatic Program Verification V: Verification-Oriented Proof Rules
 for Arrays, Records and Pointers%1,
48 pages, March 1976.  Cost: $3.05

⊗AIM-279, CS-552,,
Norihsa Suzuki,
%2Automatic Verification of Programs with Complex Data Structures%1,
Thesis:  Ph.D. in Computer Science,
194 pages, February 1976.

∞AIM-280, CS-555,,
David D. Grossman,
%2Monte Carlo Simulation of Tolerancing in Discrete Parts Manufacturing
 and Assembly%1,
25 pages, May 1976.  Cost: $2.40

∞AIM-281.1, CS-558,AD-A042 507,
Zohar Manna, Richard Waldinger,
%2Is 'sometime' sometimes better than 'always'?  Intermittent assertions
in proving program correctness%1,
41 pages, June 1976, revised March 1977.  Cost: $2.85

∞AIM-282,CS-560,,
Russell Taylor,
%2Synthesis of Manipulator Control Programs from Task-level Specifications%1,
Thesis: Ph.D. in Computer Science,
229 pages, July 1976.  Cost: $8.10

⊗AIM-283, CS-552,,
Randall Davis,
%2Applications of Meta Level Knowledge to the Construction, Maintenance
 and Use of Large Knowledge Bases%1,
Thesis: Ph.D. in Computer Science,
304 pages, July 1976.

⊗AIM-284, CS-567,,
Rafael Finkel,
%2Constructing and Debugging Manipulator Programs%1,
Thesis:  Ph.D. in Computer Science,
171 pages pages, August 1976.

⊗AIM-285, CS-568,PB-259 130/3WC,
T. O. Binford, D. D. Grossman, C. R. Lui, R. C. Bolles, R. A. Finkel,
M. S. Mujtaba, M. D. Roderick, B. E. Shimano, R. H. Taylor, R. H. Goldman,
J. P. Jarvis, V. D. Scheinman, T. A. Gafford,
%2Exploratory Study of Computer Integrated Assembly Systems, Progress Report 3%1,
336 pages, August 1976.

∞AIM-285.4, CS-568,PB-259 130/3WC,
T. O. Binford, C. R. Lui, G. Gini, M. Gini, I. Glaser, T. Ishida,
M. S. Mujtaba, E. Nakano, H. Nabavi, E. Panofsky, B. E. Shimano, R. Goldman,
V. D. Scheinman, D. Schmelling, T. A. Gafford,
%2Exploratory Study of Computer Integrated Assembly Systems, Progress Report 4%1,
255 pages, June 1977.  Cost: $8.85

⊗AIM-286, CS-570,,
Douglas Lenat,
%2AM: An Artificial Intelligence Approach to Discovery in Mathematics
as Heuristic Search%1,
Thesis: Ph.D. in Computer Science,
350 pages, July 1976.

∞AIM-287, CS-571,,
Michael Roderick,
%2Discrete Control of a Robot Arm%1,
Thesis: Engineer in Electrical Engineering,
98 pages, August 1976.  Cost: $4.45

∞AIM-288, CS-572,,
Robert Filman, Richard Weyhrauch,
%2An FOL Primer%1,
36 pages, September 1976.  Cost: $2.70

∞AIM-289, CS-574,,
John Reiser (ed.),
%2SAIL%1,
178 pages, August 1976.  Cost: $6.70

∞AIM-290, CS-575, AD-A042 494,
Nancy W. Smith,
%2SAIL Tutorial%1,
54 pages, November 1976.  Cost: $3.20

⊗AIM-291, CS-577, AO44713,
Bruce Buchanan, Joshua Lederberg, John McCarthy,
%2Three Reviews of J. Weizenbaum's Computer Power and Human Reason%1,
28 pages, November 1976.

∞AIM-292, CS-580,,
Terry Winograd,
%2Towards a Procedural Understanding of Semantics%1,
30 pages, October 1976.  Cost: $2.55

⊗AIM-293, CS-581, AD-A042 508,
Daniel Bobrow, Terry Winograd,
%2An Overview of KRL%1,
40 pages, November 1976.

∞AIM-294, CS-586, AD-A042 516,
Nachum Dershowitz, Zohar Manna,
%2The Evolution of Programs: A System for Automatic Program Modification%1,
45 pages, December 1976.  Cost: $2.95

∞AIM-295, CS-591,,
Robert C. Bolles,
%2Verification Vision Within a Programmable Assembly System%1,
Thesis: Ph.D. in Computer Science,
245 pages, December 1976.  Cost: $8.55

∞AIM-296, CS-592,,
Robert Cartwright, 
%2Practical Formal Semantic Definition and Verification Systems%1,
Thesis: Ph.D. in Computer Science,
158 pages, December 1976.  Cost: $6.15

⊗AIM-297, CS-610,,
Terry Winograd,
%2A Framework for Understanding Discourse%1,
24 pages, April 1977.

⊗AIM-298, CS-611, ADA046703,
Zohar Manna, Richard Waldinger,
%2The Logic of Computer Programming%1,
90 pages, June 1977.

∞AIM-299, CS-614, ADA049760,
Zohar Manna, Adi Shamir,
%2The Convergence of Functions to Fixedpoints of Recursive Definitions%1,
45 pages, May 1977.  Cost: $2.95

⊗AIM-300, CS-617,,
Terry Winograd,
%2On some Contested Suppositions of Generative Linguistics about the
Scientific Study of Language%1,
25 pages, May 1977.

∞AIM-301, CS-624, ADA044231,
Lester Earnest, et. al.,
%2Recent Research in Computer Science%1,
118 pages, June 1977.  Cost: $5.00

∞AIM-302, CS-630, ADA049761,
Zohar Manna, Richard Waldinger
%2Synthesis:  Dreams => Programs%1,
119 pages, October 1977.  Cost: $5.05

⊗AIM-303, CS-631, ADA050806,
Nachum Dershowitz, Zohar Manna,
%2Inference Rules for Program Annotation%1,
46 pages, October 1977.

∞AIM-304, CS-632, ADA048684,
Todd Wagner,
%2Hardware Verification%1,
Thesis: PhD in Computer Science,
102 pages, September 1977.  Cost: $4.55

∞AIM-305, CS-633, ADA048660,
William Faught,
%2Motivation and Intensionality in a Computer Simulation Model%1,
Thesis: Ph.D. in Computer Science,
104 pages, September 1977.  Cost: $4.60

∞AIM-306, CS-639, ADA053175,
Cordell Green, David Barstow,
%2On Program Synthesis Knowledge%1,
63 pages, November 1977.  Cost: $3.45

∞AIM-307, CS-640, ADA053176,
Zohar Manna and Richard Waldinger,
%2Structured Programming Without Recursion%1,
10 pages, December 1977.  Cost: $2.00

∞AIM-308, CS-641, ADA053184,
David Barstow,
%2Automatic Construction of Algorithms%1,
Thesis: Ph.D. in Computer Science,
220 pages, December 1977.  Cost: $7.85

∞AIM-309, CS-646,,
C. G. Nelson, Derek Oppen,
%2Efficient Decision Procedures Based on Congruence Closure%1,
15 pages, January 1978.  Cost: $2.15

∞AIM-310, CS-651,
Nachum Dershowitz and Zohar Manna,
%2Proving Termination with Multiset Orderings%1,
33 pages, March 1978.  Cost: $2.65

∞AIM-311, CS652,
Greg Nelson and Derek C. Oppen
%2Simplification by Cooperating Decision Prodcedures%1,
20 pages, April 1978.  Cost: $2.25