APPEND.XGP[BIB,CSR] - www.SailDart.org

perm filename APPEND.XGP[BIB,CSR] blob sn#372401 filedate 1978-08-08 generic text, type T, neo UTF8
/LMAR=0/XLINE=10/FONT#0=NONM/FONT#1=BAXI30/FONT#2=NONLB/FONT#3=SAIL25
␈↓ α∧␈↓␈↓α1␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓␈↓ ε!␈↓αAPPENDIX A

␈↓"β␈↓ α∧␈↓α␈↓ ∧lARTIFICIAL INTELLIGENCE MEMOS␈↓



␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓1,,,John␈αMcCarthy,␈α␈↓↓Predicate␈αCalculus␈αwith␈α`Undefined'␈αas␈αa␈αTruth-value␈↓,␈α5␈αpages,␈αMarch
␈↓ α∧␈↓␈↓ β∧1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓2,,AD785031 John McCarthy, ␈↓↓Situations, Actions, & Causal Laws␈↓, 11 pages, July 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓3,,, Fred Safier, ␈↓↓`The Mikado' an an Advice Taker Problem␈↓, 4 pages, July 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓4,,, Horace Enea, ␈↓↓Clock Function for LISP 1.5␈↓, 2 pages, August 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓5,,AD785043,␈α
Horace␈α
Enea,␈α
Dean␈α
Wooldridge,␈α
␈↓↓Algebraic␈α
Simplication␈↓,␈α
2␈α
pages,␈α
August
␈↓ α∧␈↓␈↓ β∧1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓6,,, Dean Wooldridge, ␈↓↓Non-printing Compiler␈↓, 2 pages, August 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓7,,AD785044,␈α∪John␈α∪McCarthy,␈α∪␈↓↓Programs␈α∪With␈α∪Common␈α∪Sense␈↓,␈α∪7␈α∀pages,␈α∪September
␈↓ α∧␈↓␈↓ β∧1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓8,,, John McCarthy, ␈↓↓Storage Conventions in LISP 2␈↓, 5 pages, September 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓9,,,␈α∃C.␈α∃M.␈α∃Williams,␈α∃␈↓↓Computing␈α∃Estimates␈α∃for␈α∃the␈α∃Number␈α∃of␈α∃Bisections␈α∃of␈α∃an␈α∀NxN
␈↓ α∧␈↓↓␈↓ β∧Checkerboard for N Even␈↓, 9 pages, December 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓10,,AD785045,␈α_Stephan␈α_R.␈α↔Russell,␈α_␈↓↓Improvements␈α_in␈α↔LISP␈α_Debugging␈↓,␈α_3␈α↔pages,
␈↓ α∧␈↓␈↓ β∧December 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓11,,AD785046,␈α∀Dean␈α∀Wooldridge,␈α∀Jr.,␈α∀␈↓↓An␈α∀Algebraic␈α∀Simplify␈α∀Program␈α∀in␈α∀LISP␈↓,␈α∀57
␈↓ α∧␈↓␈↓ β∧pages, December 1963.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓12,,,␈αGary␈αFeldman,␈α␈↓↓Documentation␈αof␈αthe␈αMacMahon␈αSquares␈αProblem␈↓,␈α4␈αpages,␈αJanuary
␈↓ α∧␈↓␈↓ β∧1964.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓13,,AD785047,␈α∪Dean␈α∩E.␈α∪Wooldridge,␈α∪␈↓↓The␈α∩New␈α∪LISP␈α∪System␈α∩(LISP␈α∪l.55)␈↓,␈α∪4␈α∩pages,
␈↓ α∧␈↓␈↓ β∧February 1964.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓14,,AD785035,␈α∂John␈α∂McCarthy,␈α∂␈↓↓Computer␈α∂Control␈α∂of␈α∂a␈α∂Machine␈α∂for␈α∂Exploring␈α∂Mars␈↓,␈α∞6
␈↓ α∧␈↓␈↓ β∧pages, January 1964.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ q2

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓15,,AD785036,␈α⊗Mark␈α⊗Finkelstein,␈α⊗Fred␈α⊗Safier,␈α⊗␈↓↓Axiomatization␈α⊗&␈α⊗Implementation␈↓,␈α∃6
␈↓ α∧␈↓␈↓ β∧pages, June 1964.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓16,,AD785037, John McCarthy, ␈↓↓A Tough nut for Proof Procedures␈↓, 3 pages, July 1964.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓17,,AD785038,␈α∞John␈α∞McCarthy,␈α∞␈↓↓Formal␈α∞Description␈α∞of␈α∞the␈α∞Game␈α∞of␈α∞Pang-Ke␈↓,␈α∞2␈α∞pages,
␈↓ α∧␈↓␈↓ β∧July 1964.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓18,,AD785048, Jan Hext, ␈↓↓An Expression Input Routine for LISP␈↓, 5 pages, July 1964.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓19,,, Jan Hext, ␈↓↓Programming Languages & Translation␈↓, 14 pages, August 1964.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓20,,AD785039,␈α⊂D.␈α∂Raj.␈α⊂Reddy,␈α⊂␈↓↓Source␈α∂Language␈α⊂Optimization␈α∂of␈α⊂For-loops␈↓,␈α⊂37␈α∂pages,
␈↓ α∧␈↓␈↓ β∧August 1964.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓21,,AD785040,␈αR.␈α
W.␈αMitchell,␈α␈↓↓LISP␈α
2␈αSpecifications␈αProposal␈↓,␈α
12␈αpages,␈α
August␈α1964.
␈↓ α∧␈↓␈↓ β∧Cost: $2.05

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓22,,AD785041,␈α_Richard␈α_Russell,␈α→␈↓↓Kalah␈α_--␈α_the␈α_Game␈α→&␈α_the␈α_Program␈↓,␈α→13␈α_pages,
␈↓ α∧␈↓␈↓ β∧September 1964.  Cost: $2.05

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓23,,AD785049,␈α~Richard␈α~Russell,␈α~␈↓↓Improvements␈α→to␈α~the␈α~Kalah␈α~Program␈↓,␈α~12␈α→pages,
␈↓ α∧␈↓␈↓ β∧September 1964.  Cost: $2.05

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓24,,AD785050,␈α
John␈α∞McCarthy,␈α
␈↓↓A␈α
Formal␈α∞Description␈α
of␈α
a␈α∞Subset␈α
of␈α
ALGOL␈↓,␈α∞43␈α
pages,
␈↓ α∧␈↓␈↓ β∧September 1964.  Cost: $2.90

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓25,,AD785051,␈αRichard␈α
Mansfield,␈α␈↓↓A␈αFormal␈α
System␈αof␈α
Computation␈↓,␈α7␈αpages,␈α
September
␈↓ α∧␈↓␈↓ β∧1964.  Cost: $1.90

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓26,,AD785052,␈α∞D.␈α
Raj.␈α∞Reddy,␈α
␈↓↓Experiments␈α∞on␈α
Automatic␈α∞Speech␈α
Recognition␈α∞by␈α∞a␈α
Digital
␈↓ α∧␈↓↓␈↓ β∧Computer␈↓, 19 pages, October 1964.  Cost: $2.25

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓27,,AD785053,␈α∞John␈α∞McCarthy,␈α∞␈↓↓A␈α∞Proof-checker␈α∞for␈α∞Predicate␈α∞Calculus␈↓,␈α∞7␈α∞pages,␈α
March
␈↓ α∧␈↓␈↓ β∧1965.  Cost: $1.90

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓28,,AD785054,␈αJohn␈αMcCarthy,␈α
␈↓↓Problems␈αin␈αthe␈αTheory␈α
of␈αComputation␈↓,␈α7␈α
pages,␈αMarch
␈↓ α∧␈↓␈↓ β∧1965.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓29,,AD785055,␈α∪Charles␈α∩M.␈α∪Williams,␈α∩␈↓↓Isolation␈α∪of␈α∩Important␈α∪Features␈α∩of␈α∪a␈α∩Multitoned
␈↓ α∧␈↓↓␈↓ β∧Picture␈↓, 9 pages, January 1965.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓30,,AD785056,␈α→Edward␈α→A.␈α→Feigenbaum,␈α→Richard␈α→W.␈α→Watson,␈α→␈↓↓An␈α→Initial␈α_Problem
␈↓ α∧␈↓↓␈↓ β∧Statement for a Machine Induction Research Project␈↓, 8 pages, April 1965.
␈↓ α∧␈↓␈↓α3␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓31,,AD785057,␈α
John␈α
McCarthy,␈α
␈↓↓Plans␈α
for␈α
the␈α
Stanford␈α
Artificial␈α
Intelligence␈α∞Project␈↓,␈α
17
␈↓ α∧␈↓␈↓ β∧pages, April 1965.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓32,,AD785068, Harry Ratchford, ␈↓↓The 138 Analog Digital Converter␈↓, 9 pages, May 1965.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓33,,AD785032,␈α∩Barbara␈α⊃Huberman,␈α∩␈↓↓The␈α⊃Advice␈α∩Taker␈α⊃&␈α∩GPS␈↓,␈α⊃8␈α∩pages,␈α∩June␈α⊃1965.
␈↓ α∧␈↓␈↓ β∧Cost: $1.95

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓34,,AD785069,␈αPeter␈αCarah,␈α␈↓↓A␈αTelevision␈αCamera␈αInterface␈αfor␈αthe␈αPDP-1␈↓,␈α8␈αpages,␈αJune
␈↓ α∧␈↓␈↓ β∧1965.  Cost: $1.95

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓35,,, Fred Safier, ␈↓↓Simple Simon␈↓, 17 pages, June 1965.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓36,,AD785065,␈α∪James␈α∩Painter,␈α∪␈↓↓Utilization␈α∩of␈α∪a␈α∪TV␈α∩Camera␈α∪on␈α∩the␈α∪PDP-1␈↓,␈α∪6␈α∩pages,
␈↓ α∧␈↓␈↓ β∧September 1965.  Cost: $1.85

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓37,,,␈α
Knut␈α∞Korsvold,␈α
␈↓↓An␈α
on␈α∞Line␈α
Algebraic␈α
Simplification␈α∞Program␈↓,␈α
36␈α∞pages,␈α
November
␈↓ α∧␈↓␈↓ β∧1965.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓38,,AD785066,␈αDonald␈αA.␈αWaterman,␈α␈↓↓A␈αFilter␈αfor␈αa␈αMachine␈αInduction␈αSystem␈↓,␈α19␈αpages,
␈↓ α∧␈↓␈↓ β∧January 1966.  Cost: $2.25

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓39,,AD785067,␈α∞Karl␈α
Pingle,␈α∞␈↓↓A␈α∞Program␈α
to␈α∞Find␈α
Objects␈α∞in␈α∞a␈α
Picture␈↓,␈α∞22␈α∞pages,␈α
January
␈↓ α∧␈↓␈↓ β∧1966.  Cost: $2.30

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓40,␈α⊂CS␈↓↓-␈↓38,␈α⊂AD662880,␈α∂John␈α⊂McCarthy,␈α⊂James␈α⊂Painter,␈α∂␈↓↓Correctness␈α⊂of␈α⊂a␈α⊂Compiler␈α∂for
␈↓ α∧␈↓↓␈↓ β∧Arithmetic Expressions␈↓, 13 pages, April 1966.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓41,,,␈α⊃Phil␈α⊃Abrams,␈α∩Dianna␈α⊃Rode,␈α⊃␈↓↓A␈α⊃Proposal␈α∩for␈α⊃a␈α⊃Proof-checker␈α⊃for␈α∩Certain␈α⊃Axiomatic
␈↓ α∧␈↓↓␈↓ β∧Systems␈↓, 10 pages, May 1966.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓42,,,␈α∞Karl␈α∂Pingle,␈α∞␈↓↓A␈α∂Proposal␈α∞for␈α∂a␈α∞Visual␈α∞Input␈α∂Routine␈↓,␈α∞11␈α∂pages,␈α∞June␈α∂1966.␈α∞ Cost:
␈↓ α∧␈↓␈↓ β∧$2.00

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓43,␈αCS␈↓↓-␈↓49,␈αSS640␈↓↓-␈↓836,␈αD.␈αRaj.␈α
Reddy,␈α␈↓↓An␈αApproach␈αto␈αComputer␈αSpeech␈α
Recognition␈αby
␈↓ α∧␈↓↓␈↓ β∧Direct␈αAnalysis␈αof␈α
the␈αSpeech␈αWave␈↓,␈αThesis:␈α
Ph.D.␈αin␈αComputer␈αScience,␈α
144␈αpages,
␈↓ α∧␈↓␈↓ β∧September 1966.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓44,,,␈α∪James␈α∪Painter,␈α∪␈↓↓Semantic␈α∪Correctness␈α∪of␈α∪a␈α∪Compiler␈α∪for␈α∪an␈α∀Algol-like␈α∪Language␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis: Ph.D. in Computer Science, 130 pages, revised March 1967.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓45,,,␈αDonald␈αKaplan,␈α␈↓↓Some␈αCompleteness␈αResults␈αin␈αthe␈αMathematical␈αTheory␈αof␈α
Computation␈↓,
␈↓ α∧␈↓␈↓ β∧22 pages, October 1966.  Cost: $2.30
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ q4

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓46,␈α
CS␈↓↓-␈↓50,␈α
PB176761,␈αStaffan␈α
Persson,␈α
␈↓↓Some␈αSequence␈α
Extrapolating␈α
Programs:␈αa␈α
Study
␈↓ α∧␈↓↓␈↓ β∧of␈α∃Representation␈α∃&␈α∃Modeling␈α⊗in␈α∃Inquiring␈α∃Systems␈↓,␈α∃Thesis:␈α∃Ph.D.␈α⊗in␈α∃Computer
␈↓ α∧␈↓␈↓ β∧Science, 176 pages, September 1966.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓47,,,␈α⊃Bruce␈α⊂Buchanan,␈α⊃␈↓↓Logics␈α⊂of␈α⊃Scientific␈α⊂Discovery␈↓,␈α⊃Thesis:␈α⊂Ph.D.␈α⊃in␈α⊃Philosophy␈α⊂U.C.
␈↓ α∧␈↓␈↓ β∧Berkeley, 210 pages, December 1966.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓48,,,␈αDonald␈αM.␈α
Kaplan,␈α␈↓↓Correctness␈αof␈α
a␈αCompiler␈αfor␈α
Algol-like␈αPrograms␈↓,␈α46␈α
pages,␈αJuly
␈↓ α∧␈↓␈↓ β∧1967.  Cost: $3.00

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓49,,,␈α∂Georgia␈α∂Sutherl&,␈α⊂␈↓↓DENDRAL␈α∂--␈α∂a␈α∂Computer␈α⊂Program␈α∂for␈α∂Generating␈α⊂&␈α∂Filtering
␈↓ α∧␈↓↓␈↓ β∧Chemical Structures␈↓, 34 pages, February 1967.  Cost: $2.65

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓50,,, Anthony C. Hearn, ␈↓↓Reduce Users' Manual␈↓, 53 pages, February 1967.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓51,,,␈α
Lester␈α
D.␈α
Earnest,␈α
␈↓↓Choosing␈α
an␈α
eye␈α
for␈α
a␈α
Computer␈↓,␈α
154␈α
pages,␈α
April␈α∞1967.␈α
 Cost:
␈↓ α∧␈↓␈↓ β∧$6.00

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓52,,,␈αArthur␈αL.␈αSamuel,␈α␈↓↓Some␈αStudies␈αin␈αMachine␈αLearning␈αUsing␈αthe␈αGame␈αof␈αCheckers␈αII␈α-
␈↓ α∧␈↓↓␈↓ β∧Recent Progress␈↓, 48 pages, June 1967.  Cost: $3.05

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓53,,, William Weiher, ␈↓↓The PDP-6 Proof Checker␈↓, 47 pages, June 1967.  Cost: $3.00

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓54,,,␈α
Joshua␈αLederberg,␈α
Edward␈α
A.␈αFeigenbaum,␈α
␈↓↓Mechanization␈αof␈α
Inductive␈α
Inference␈αin
␈↓ α∧␈↓↓␈↓ β∧Organic Chemistry␈↓, 29 pages, August 1967.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓55,,, Jerome Feldman, ␈↓↓First Thoughts of Grammatical Inference␈↓, 18 pages, August 1967.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓56,,,␈αWilliam␈αWichman,␈α␈↓↓Use␈αof␈αOptical␈αFeedback␈αin␈αthe␈αComputer␈αControl␈αof␈αan␈αArm␈↓,␈αThesis:
␈↓ α∧␈↓␈↓ β∧Eng. in Electrical Engineering, 69 pages, August 1967.  Cost: $3.65

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓57,,,␈α↔Anthony␈α_C.␈α↔Hearn,␈α_␈↓↓REDUCE,␈α↔a␈α↔User-oriented␈α_Interactive␈α↔System␈α_for␈α↔Algebraic
␈↓ α∧␈↓↓␈↓ β∧Simplification␈↓, 69 pages, October 1967.  Cost: $3.65

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓58,,,␈α∃Monte␈α⊗D.␈α∃Callero,␈α⊗␈↓↓An␈α∃Adaptive␈α⊗Comm&␈α∃&␈α⊗Control␈α∃System␈α⊗Utilizing␈α∃Heuristic
␈↓ α∧␈↓↓␈↓ β∧Learning␈α⊂Processes␈↓,␈α∂Thesis:␈α⊂Ph.D.␈α∂in␈α⊂Operations␈α∂Research,␈α⊂161␈α⊂pages,␈α∂December
␈↓ α∧␈↓␈↓ β∧1967.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓59,,,␈α∂Donald␈α∂M.␈α∂Kaplan,␈α∂␈↓↓A␈α⊂Formal␈α∂Theory␈α∂Concerning␈α∂the␈α∂Equivalence␈α∂of␈α⊂Algorithms␈↓,␈α∂20
␈↓ α∧␈↓␈↓ β∧pages, May 1968.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓60,␈α∩CS␈↓↓-␈↓101,␈α∩AD672923,␈α∩Donald␈α∩M.␈α∪Kaplan,␈α∩␈↓↓The␈α∩Formal␈α∩Theoretic␈α∩Analysis␈α∪of␈α∩Strong
␈↓ α∧␈↓↓␈↓ β∧Equivalence␈αfor␈αElemental␈αPrograms␈↓,␈αThesis:␈αPh.D.␈αin␈αComputer␈αScience,␈α263␈αpages,
␈↓ α∧␈↓␈↓ β∧June 1968.  Cost: $9.05
␈↓ α∧␈↓␈↓α5␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓61,,,␈α
Takayasu␈α∞Ito,␈α
␈↓↓Notes␈α
on␈α∞Theory␈α
of␈α
Computation␈α∞&␈α
Pattern␈α
Recognition␈↓,␈α∞144␈α
pages,
␈↓ α∧␈↓␈↓ β∧May 1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓62,,,␈α∂Bruce␈α⊂Buchanan,␈α∂Georgia␈α⊂Sutherl&,␈α∂␈↓↓Heuristic␈α∂Dendral:␈α⊂a␈α∂Program␈α⊂for␈α∂Generating
␈↓ α∧␈↓↓␈↓ β∧Explanatory Hypotheses in Organic Chemistry␈↓, 76 pages, July 1968.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓63,,,␈α∂Donald␈α∂M.␈α∞Kaplan,␈α∂␈↓↓Regular␈α∂Expressions␈α∞&␈α∂the␈α∂Equivalence␈α∞of␈α∂Programs␈↓,␈α∂42␈α∞pages,
␈↓ α∧␈↓␈↓ β∧July 1968.  Cost: $2.90

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓64,,, Zohar Manna, ␈↓↓Formalization of Properties of Programs␈↓, 18 pages, July 1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓65,␈α⊂CS␈↓↓-␈↓106,␈α⊂AD673971,␈α⊂Barbara␈α⊂J.␈α⊂Huberman,␈α⊂␈↓↓A␈α⊂Program␈α⊂to␈α⊂Play␈α⊂Chess␈α⊂end␈α∂Games␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis: Ph.D. in Computer Science, 168 pages, August 1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓66,,,␈α
Jerome␈α
A.␈α
Feldman,␈α
Paul␈α
D.␈α
Rovner,␈α
␈↓↓An␈α
Algol-based␈α
Associative␈α
Language␈↓,␈α31␈α
pages,
␈↓ α∧␈↓␈↓ β∧August 1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓67,,AD680487,␈α∀Edward␈α∀A.␈α∀Feigenbaum,␈α∀␈↓↓Artificial␈α∀Intelligence:␈α∀Themes␈α∀in␈α∀the␈α∪Second
␈↓ α∧␈↓↓␈↓ β∧Decade␈↓, 39 pages, August 1968.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓68,,,␈αZohar␈αManna,␈αAmir␈αPnueli,␈α␈↓↓The␈αValidity␈αProblem␈αof␈αthe␈α91-function␈↓,␈α20␈αpages,␈αAugust
␈↓ α∧␈↓␈↓ β∧1968.  Cost: $2.25

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓69,,␈α
AD677588,␈α
John␈α
McCarthy,␈α
Edward␈α
Feigenbaum,␈α
Arthur␈α
Samuel,␈α
␈↓↓Project␈α
Technical
␈↓ α∧␈↓↓␈↓ β∧Report␈↓, 90 pages, September 1968.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓70,,␈α⊂AD680072,␈α⊂Anthony␈α⊂C.␈α⊂Hearn,␈α∂␈↓↓The␈α⊂Problem␈α⊂of␈α⊂Substitution␈↓,␈α⊂14␈α⊂pages,␈α∂December
␈↓ α∧␈↓␈↓ β∧1968.  Cost: $2.10

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓71,,␈α∂AD677520,␈α∂Pierre␈α⊂Vicens,␈α∂␈↓↓Preprocessing␈α∂for␈α⊂Speech␈α∂Analysis␈↓,␈α∂33␈α⊂pages,␈α∂October
␈↓ α∧␈↓␈↓ β∧1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓72,␈α∃CS␈↓↓-␈↓116,␈α∀AD680036,␈α∃Donald␈α∀L.␈α∃Pieper,␈α∀␈↓↓The␈α∃Kinematics␈α∀of␈α∃Manipulators␈α∀under
␈↓ α∧␈↓↓␈↓ β∧Computer␈α⊃Control␈↓,␈α∩Thesis:␈α⊃Ph.D.␈α⊃in␈α∩Mechanical␈α⊃Engineering,␈α⊃157␈α∩pages,␈α⊃October
␈↓ α∧␈↓␈↓ β∧1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓73,,␈α∞AD678878,␈α∞John␈α∞McCarthy,␈α∂Patrick␈α∞Hayes,␈α∞␈↓↓Some␈α∞Philosophical␈α∞Problems␈α∂From␈α∞the
␈↓ α∧␈↓↓␈↓ β∧St&point of Artificial Intelligence␈↓, 51 pages, November 1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓74,␈α⊃CS␈↓↓-␈↓118,␈α⊃AD681027,␈α⊃Donald␈α⊂Waterman,␈α⊃␈↓↓Machine␈α⊃Learning␈α⊃of␈α⊃Heuristics␈↓,␈α⊂Thesis:
␈↓ α∧␈↓␈↓ β∧Ph.D. in Computer Science, ? pages, December 1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓75,,,␈α↔Roger␈α↔C.␈α↔Schank,␈α↔␈↓↓A␈α↔Notion␈α↔of␈α↔Linguistic␈α↔Concept:␈α↔a␈α↔Prelude␈α↔to␈α⊗Mechanical
␈↓ α∧␈↓↓␈↓ β∧Translation␈↓, 21 pages, December 1968.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ q6

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓76,,,␈αRoger␈αC.␈αSchank,␈α␈↓↓A␈αConceptual␈αParser␈αfor␈αNatural␈αLanguage␈↓,␈α22␈αpages,␈αDecember
␈↓ α∧␈↓␈↓ β∧1968.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓77,,,␈α⊃Joseph␈α⊃D.␈α⊃Becker,␈α⊂␈↓↓The␈α⊃Modeling␈α⊃of␈α⊃Simple␈α⊂Analogic␈α⊃&␈α⊃Inductive␈α⊃Processes␈α⊃in␈α⊂a
␈↓ α∧␈↓↓␈↓ β∧Semantic Memory System␈↓, 21 pages, January 1969.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓78,,,␈α⊂D.␈α∂Raj.␈α⊂Reddy,␈α⊂␈↓↓On␈α∂the␈α⊂use␈α∂of␈α⊂Environmental,␈α⊂Syntactic␈α∂&␈α⊂Probalistic␈α⊂Constraints␈α∂in
␈↓ α∧␈↓↓␈↓ β∧Vision & Speech␈↓, 23 pages, January 1969.  Cost: $2.35

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓79,,␈α⊃AD685611,␈α⊃D.␈α⊂Raj.␈α⊃Reddy,␈α⊃Richard␈α⊂B.␈α⊃Neely,␈α⊃␈↓↓Contextual␈α⊂Analysis␈α⊃of␈α⊃Phonemes␈α⊂of
␈↓ α∧␈↓↓␈↓ β∧English␈↓, 71 pages, January 1969.  Cost: $3.70

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓80,,␈α∞AD685612,␈α∞Georgia␈α∞Sutherl&,␈α∞␈↓↓Heuristic␈α∂Dendral:␈α∞a␈α∞Family␈α∞of␈α∞LISP␈α∂Programs␈↓,␈α∞46
␈↓ α∧␈↓␈↓ β∧pages, March 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓81,,␈α∞AD685613,␈α∞David␈α∞Luckham,␈α∞␈↓↓Refinement␈α∞Theorems␈α∞in␈α∞Resolution␈α∞Theory␈↓,␈α∞31␈α
pages,
␈↓ α∧␈↓␈↓ β∧March 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓82,,␈α⊃AD685614,␈α⊃Zohar␈α⊃Manna,␈α⊃Amir␈α⊃Pneuli,␈α⊃␈↓↓Formalization␈α⊃of␈α⊃Properties␈α⊃of␈α⊃Recursively
␈↓ α∧␈↓↓␈↓ β∧Defined Functions␈↓, 26 pages, March 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓83,␈α∃CS␈↓↓-␈↓130,,␈α∃Roger␈α∃C.␈α⊗Schank,␈α∃␈↓↓A␈α∃Conceptual␈α∃Representation␈α⊗for␈α∃Computer-oriented
␈↓ α∧␈↓↓␈↓ β∧Semantics␈↓, Thesis: Ph.D. in Linguistics U. of Texas, 201 pages, March 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓84,,␈α∪AD691791,␈α∪David␈α∩Canfield␈α∪Smith,␈α∪␈↓↓MLISP␈α∩Users'␈α∪Manual␈↓,␈α∪57␈α∪pages,␈α∩January
␈↓ α∧␈↓␈↓ β∧1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓85,␈α∪CS␈↓↓-␈↓127,␈α∪AD687720,␈α∪Pierre␈α∪Vicens,␈α∪␈↓↓Aspects␈α∪of␈α∪Speech␈α∪Recognition␈α∪by␈α∪Computer␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis: Ph.D. in Computer Science, 210 pages, April 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓86,,␈α∪AD691788,␈α∀Patrick␈α∪J.␈α∀Hayes,␈α∪␈↓↓A␈α∪Machine-oriented␈α∀Formulation␈α∪of␈α∀the␈α∪Extended
␈↓ α∧␈↓↓␈↓ β∧Functional Calculus␈↓, 44 pages, June 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓87,,␈αAD691789,␈αJohn␈αMcCarthy,␈αA.I.␈αProject␈αStaff,␈α␈↓↓Project␈αTechnical␈αReport␈↓,␈α98␈αpages,
␈↓ α∧␈↓␈↓ β∧June 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓88,,␈α∂AD691790,␈α∂Roger␈α∂C.␈α∂Schank,␈α∂␈↓↓Linguistics␈α∂from␈α∂a␈α∂Conceptual␈α∂Viewpoint␈α∂(Aspects␈α∞of
␈↓ α∧␈↓↓␈↓ β∧Aspects of a Theory of Syntax)␈↓, 22 pages, April 1969.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓89,␈α∀CS␈↓↓-␈↓125,␈α∃AD692390,␈α∀Jerome␈α∃A.␈α∀Feldman,␈α∃J.␈α∀Gips,␈α∃J.␈α∀J.␈α∃Horning,␈α∀&␈α∃S.␈α∀Reder,
␈↓ α∧␈↓␈↓ β∧␈↓↓Grammatical Complexity & Inference␈↓, 100 pages, June 1969.  Cost: $4.50

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓90,, AD691799, Anthony C. Hearn, ␈↓↓St&ard LISP␈↓, 33 pages, May 1969.
␈↓ α∧␈↓␈↓α7␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓91,,,␈α⊃J.␈α⊃A.␈α⊂Campbell␈α⊃&␈α⊃Anthony␈α⊂C.␈α⊃Hearn,␈α⊃␈↓↓Symbolic␈α⊂Analysis␈α⊃of␈α⊃Feynman␈α⊃Diagrams␈α⊂by
␈↓ α∧␈↓↓␈↓ β∧Computer␈↓, 73 pages, August 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓92,,,␈αVictor␈α
D.␈αScheinman,␈α␈↓↓Design␈α
of␈αa␈αComputer␈α
Controlled␈αManipulator␈↓,␈αThesis:␈α
Eng.␈αin
␈↓ α∧␈↓␈↓ β∧Mechanical Engineering, 53 pages, June 1969.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓93.1,,␈αAD693106,␈αJerome␈αFeldman,␈α␈↓↓Some␈αDecidability␈αResults␈αon␈αGrammatical␈αInference␈α&
␈↓ α∧␈↓↓␈↓ β∧Complexity␈↓, 31 pages, August 1969, revised May 1970.  Cost: $2.55

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓94,,␈α∩AD692391,␈α∩Kenneth␈α∩Mark␈α∩Colby,␈α∩Lawrence␈α∩Tesler,␈α∩Horace␈α∩Enea,␈α∩␈↓↓Experiments
␈↓ α∧␈↓↓␈↓ β∧With␈α∂a␈α∞Search␈α∂Algorithm␈α∞on␈α∂the␈α∂Data␈α∞Base␈α∂of␈α∞a␈α∂Human␈α∞Belief␈α∂Structure␈↓,␈α∂28␈α∞pages,
␈↓ α∧␈↓␈↓ β∧August 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓95,,␈αAD694971,␈αZohar␈αManna,␈α␈↓↓The␈αCorrectness␈αof␈αNon-deterministic␈αPrograms␈↓,␈α44␈α
pages,
␈↓ α∧␈↓␈↓ β∧August 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓96,␈α
CS␈↓↓-␈↓138,␈α∞AD696394,␈α
Claude␈α
Cordell␈α∞Green,␈α
␈↓↓The␈α
Application␈α∞of␈α
Theorem␈α∞Proving␈α
to
␈↓ α∧␈↓↓␈↓ β∧Question-answering␈α∪Systems␈↓,␈α∪Thesis:␈α∪Ph.D.␈α∪in␈α∪Electrical␈α∪Engineering,␈α∀166␈α∪pages,
␈↓ α∧␈↓␈↓ β∧August 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓97,,␈αAD694972,␈αKenneth␈αMark␈αColby,␈αDavid␈αCanfield␈αSmith,␈α␈↓↓Dialogues␈αBetween␈αHumans
␈↓ α∧␈↓↓␈↓ β∧& an Artificial Belief System␈↓, 28 pages, August 1969.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓98,␈α
CS␈↓↓-␈↓139,␈α
AD695401,␈α∞James␈α
Jay␈α
Horning,␈α
␈↓↓A␈α∞Study␈α
of␈α
Grammatical␈α∞Inference␈↓,␈α
Thesis:
␈↓ α∧␈↓␈↓ β∧Ph.D. in Computer Science, 166 pages, August 1969.  Cost: $6.35

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓99,,,␈α
Bruce␈α
G.␈α
Buchanan,␈α∞G.␈α
L.␈α
Sutherl&,␈α
E.␈α∞A.␈α
Feigenbaum,␈α
␈↓↓Toward␈α
an␈α∞Underst&ing␈α
of
␈↓ α∧␈↓↓␈↓ β∧Information␈α⊂Processes␈α∂of␈α⊂Scientific␈α⊂Inference␈α∂in␈α⊂the␈α⊂Context␈α∂of␈α⊂Organic␈α⊂Chemistry␈↓,␈α∂66
␈↓ α∧␈↓␈↓ β∧pages, September 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓100,,,␈α∞Zohar␈α∞Manna,␈α∞John␈α∞McCarthy,␈α∂␈↓↓Properties␈α∞of␈α∞Programs␈α∞&␈α∞Partial␈α∂Function␈α∞Logic␈↓,
␈↓ α∧␈↓␈↓ β∧21 pages, October 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓101,,,␈α∩Richard␈α∩Paul,␈α∩G.␈α∩Falk,␈α∪J.␈α∩A.␈α∩Feldman,␈α∩␈↓↓The␈α∩Computer␈α∩Representation␈α∪of␈α∩Simply
␈↓ α∧␈↓↓␈↓ β∧Described Scenes␈↓, 16 pages, October 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓102,,,␈α∪Donald␈α∪A.␈α∀Waterman,␈α∪␈↓↓Generalization␈α∪Learning␈α∀for␈α∪Automating␈α∪the␈α∀Learning␈α∪of
␈↓ α∧␈↓↓␈↓ β∧Heuristics␈↓, 74 pages, July 1969.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓103,,,␈α⊃John␈α⊂Allen,␈α⊃David␈α⊂Luckham␈α⊃␈↓↓An␈α⊂Interactive␈α⊃Theorem-proving␈α⊂Program␈↓,␈α⊃27␈α⊂pages,
␈↓ α∧␈↓␈↓ β∧October 1969.  Cost: $2.45

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓104,,,␈α∀Joshua␈α∀Lederberg,␈α∀Georgia␈α∀Sutherl&,␈α∀B.␈α∀G.␈α∀Buchanan,␈α∀E.␈α∀A.␈α∃Feigenbaum,␈α∀␈↓↓A
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ q8

␈↓"β␈↓ α∧␈↓↓␈↓ β∧Heuristic␈αProgram␈αfor␈αSolving␈αa␈αScientific␈αInference␈αProblem:␈αSummary␈αof␈αMotivation␈α&
␈↓ α∧␈↓↓␈↓ β∧Implementation␈↓, 15 pages, November 1969.  Cost: $2.15

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓105,,,␈α∩Manfred␈α∩Heuckel,␈α∩␈↓↓An␈α∩Operator␈α∩Which␈α∩Locates␈α∩Edges␈α∩in␈α∩Digitized␈α∩Pictures␈↓,␈α⊃37
␈↓ α∧␈↓␈↓ β∧pages, October 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓106,,,␈α∩Michael␈α∩Edwin␈α∩Kahn,␈α⊃␈↓↓The␈α∩Near-minimum-time␈α∩Control␈α∩of␈α∩Open-loop␈α⊃Articulated
␈↓ α∧␈↓↓␈↓ β∧Kinematic␈α∞Chains␈↓,␈α∞Thesis:␈α
Ph.D.␈α∞in␈α∞Mechanical␈α
Engineering,␈α∞171␈α∞pages,␈α
December
␈↓ α∧␈↓␈↓ β∧1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓107,,,␈α⊂Gilbert␈α⊃Falk,␈α⊂␈↓↓Some␈α⊂Implications␈α⊃of␈α⊂Planarity␈α⊂for␈α⊃Machine␈α⊂Perception␈↓,␈α⊃27␈α⊂pages,
␈↓ α∧␈↓␈↓ β∧December 1969.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓108,,,␈α∩Michael␈α∩D.␈α⊃Kelly,␈α∩␈↓↓Edge␈α∩Detection␈α⊃in␈α∩Pictures␈α∩by␈α⊃Computer␈α∩Using␈α∩Planning␈↓,␈α⊃28
␈↓ α∧␈↓␈↓ β∧pages, January 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓109,,,␈α⊗Roger␈α⊗C.␈α⊗Schank,␈α⊗Lawrence␈α⊗Tesler,␈α⊗Sylvia␈α⊗Weber,␈α⊗␈↓↓Spinoza␈α⊗II:␈α∃Conceptual
␈↓ α∧␈↓↓␈↓ β∧Case-based Natural Language Analysis␈↓, 107 pages, January 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓110,,,␈α
Edward␈α
Ashcroft,␈α
Zohar␈α
Manna,␈α
␈↓↓Formalization␈α
of␈α
Properties␈α
of␈α
Parallel␈α
Programs␈↓,
␈↓ α∧␈↓␈↓ β∧58 pages, February 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓111,,,␈αZohar␈αManna,␈α␈↓↓Second-order␈αMathematical␈αTheory␈αof␈αComputation␈↓,␈α25␈αpages,␈αMarch
␈↓ α∧␈↓␈↓ β∧1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓112,,,␈α_Franklin␈α_D.␈α_Hilf,␈α_Kenneth␈α_M.␈α_Colby,␈α_David␈α_C.␈α_Smith,␈α_William␈α→K.␈α_Wittner,
␈↓ α∧␈↓␈↓ β∧␈↓↓Machine-mediated Interviewing␈↓, 27 pages, March 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓113,,,␈αKenneth␈αMark␈αColby,␈αFranklin␈αD.␈αHilf,␈αWilliam␈αA.␈αHall,␈α␈↓↓A␈αMute␈αPatient's␈αExperience
␈↓ α∧␈↓↓␈↓ β∧With Machine-mediated Interviewing␈↓, 19 pages, March 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓114,,,␈α
Alan␈α
W.␈α∞Biermann,␈α
Jerome␈α
A.␈α
Feldman,␈α∞␈↓↓On␈α
the␈α
Synthesis␈α
of␈α∞Finite-state␈α
Acceptors␈↓,
␈↓ α∧␈↓␈↓ β∧31 pages, April 1970.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓115,,,␈α∂Ugo␈α∂Montanari,␈α∂␈↓↓On␈α∂the␈α∂Optimal␈α∂Detection␈α∂of␈α∂Curves␈α∂in␈α∂Noisy␈α∂Pictures␈↓,␈α∂35␈α∂pages,
␈↓ α∧␈↓␈↓ β∧March 1970.  Cost: $2.70

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓116,,, Kenneth Mark Colby, ␈↓↓Mind & Brain, Again␈↓, 10 pages, March 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓117,,, John McCarthy, et al, ␈↓↓Project Technical Report␈↓, 75 pages, April 1970.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓118,,,␈α⊂Ugo␈α⊂Montanari,␈α⊂␈↓↓Heuristically␈α⊃Guided␈α⊂Search␈α⊂&␈α⊂Chromosome␈α⊂Matching␈↓,␈α⊃29␈α⊂pages,
␈↓ α∧␈↓␈↓ β∧April 1970.  Cost: $2.50
␈↓ α∧␈↓␈↓α9␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓119,,,␈α∞Joseph␈α∂Becker,␈α∞␈↓↓An␈α∞Information-processing␈α∂Model␈α∞of␈α∂Intermediate-Level␈α∞Cognition␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis:  Ph.D. in Computer Science (May 1972), 123 pages, May 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓120,,,␈αKenneth␈αMark␈αColby,␈αDavid␈αCanfield␈αSmith,␈α␈↓↓Computer␈αas␈αCatalyst␈αin␈αthe␈αTreatment
␈↓ α∧␈↓↓␈↓ β∧of Nonspeaking Autistic Children␈↓, 32 pages, April 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓121,,,␈α⊃Irwin␈α⊃Sobel,␈α⊂␈↓↓Camera␈α⊃Models␈α⊃&␈α⊃Machine␈α⊂Perception␈↓,␈α⊃Thesis:␈α⊃Ph.D.␈α⊃in␈α⊂Electrical
␈↓ α∧␈↓␈↓ β∧Engineering, 89 pages, May 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓122,,, Roger C. Schank, ␈↓↓`Semantics' in Conceptual Analysis␈↓, 56 pages, May 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓123,,,␈α⊗Bruce␈α⊗G.␈α⊗Buchanan,␈α⊗Thomas␈α⊗E.␈α⊗Headrick,␈α⊗␈↓↓Some␈α⊗Speculation␈α⊗About␈α∃Artificial
␈↓ α∧␈↓↓␈↓ β∧Intelligence & Legal Reasoning␈↓, 54 pages, May 1970.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓124,,,␈α⊂M.␈α⊂M.␈α⊂Astrahan,␈α⊂␈↓↓Speech␈α⊂Analysis␈α⊂by␈α⊂Clustering,␈α⊂or␈α⊂the␈α⊂Hyperphoneme␈α⊂Method␈↓,␈α∂22
␈↓ α∧␈↓␈↓ β∧pages, June 1970.  Cost: $2.30

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓125,,,␈α
Kenneth␈α
Mark␈α
Colby,␈α
Sylvia␈α
Weber,␈α
Franklin␈α
Hilf,␈α
␈↓↓Artificial␈α
Paranoia␈↓,␈α
35␈α
pages,
␈↓ α∧␈↓␈↓ β∧July 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓126,␈α∞CS␈↓↓-␈↓169,␈α∞AD711329,␈α∞Donald␈α∞E.␈α∞Knuth,␈α∞␈↓↓Examples␈α∞of␈α∞Formal␈α∞Semantics␈↓,␈α∞34␈α∞pages,
␈↓ α∧␈↓␈↓ β∧July 1970.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓127,␈α⊗CS␈↓↓-␈↓174,␈α⊗AD711395,␈α⊗Zohar␈α∃Manna,␈α⊗Richard␈α⊗J.␈α⊗Waldinger,␈α⊗␈↓↓Towards␈α∃Automatic
␈↓ α∧␈↓↓␈↓ β∧Program Synthesis␈↓, 54 pages, July 1970.  Cost: $3.20

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓128,␈α∞CS␈↓↓-␈↓166,␈α∞AD713841,␈α∞Erik␈α∞J.␈α∞S&ewall,␈α∞␈↓↓Representing␈α∞Natural-language␈α
Information
␈↓ α∧␈↓↓␈↓ β∧in Predicate Calculus␈↓, 27 pages, July 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓129,␈α⊂CS␈↓↓-␈↓167,␈α⊂AD712460,␈α⊂Shigeru␈α⊂Igarashi,␈α⊂␈↓↓Semantics␈α⊂of␈α⊂ALGOL-like␈α⊃Statements␈↓,␈α⊂95
␈↓ α∧␈↓␈↓ β∧pages, June 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓130,␈α
CS␈↓↓-␈↓168,␈α
AD713252,␈αMichael␈α
D.␈α
Kelly,␈α
␈↓↓Visual␈αIdentification␈α
of␈α
People␈α
by␈αComputer␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis: Ph.D. in Computer Science, 238 pages, July 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓131,␈α→CS␈↓↓-␈↓176,␈α_AD715128,␈α→Edward␈α_A.␈α→Feigenbaum,␈α_Bruce␈α→G.␈α→Buchanan,␈α_Joshua
␈↓ α∧␈↓␈↓ β∧Lederberg,␈α
␈↓↓On␈α
Generality␈α
&␈α
Problem␈αSolving:␈α
a␈α
Case␈α
Study␈α
Using␈α
the␈αDendral␈α
Program␈↓,
␈↓ α∧␈↓␈↓ β∧48 pages, August 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓132,␈α
CS␈↓↓-␈↓180,␈α
AD715665,␈αGilbert␈α
Falk,␈α
␈↓↓Computer␈α
Interpretation␈αof␈α
Imperfect␈α
Line␈αData␈α
as
␈↓ α∧␈↓↓␈↓ β∧a␈α∀Three-dimensional␈α∀Scene␈↓,␈α∀Thesis:␈α∃Ph.D.␈α∀in␈α∀Electrical␈α∀Engineering,␈α∃187␈α∀pages,
␈↓ α∧␈↓␈↓ β∧August 1970.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑10

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓133,␈αCS␈↓↓-␈↓181,,␈α
Anthony␈αC.␈αHearn,␈α
␈↓↓Reduce␈α2␈↓,␈α
Diskfile:␈αREDUCE.ACH[AIM,DOC],␈α85␈α
pages,
␈↓ α∧␈↓␈↓ β∧October 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓134,␈α⊂CS␈↓↓-␈↓182,␈α⊂AD748565,␈α∂Jay␈α⊂Martin␈α⊂Tenenbaum,␈α∂␈↓↓Accommodation␈α⊂in␈α⊂Computer␈α∂Vision␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis: Ph.D. in Electrical Engineering, 452 pages, September 1970.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓135,␈αCS␈↓↓-␈↓179,␈αAD716566,␈αDavid␈α
Canfield␈αSmith,␈α␈↓↓MLISP␈↓,␈αDiskfile:␈α
MLISP.DAV[AIM,DOC],
␈↓ α∧␈↓␈↓ β∧99 pages, October 1970.  Cost: $4.50

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓136,␈α
CS␈↓↓-␈↓183,␈αAD717600,␈α
George␈αM.␈α
White,␈α
␈↓↓Machine␈αLearning␈α
Through␈αSignature␈α
Trees.
␈↓ α∧␈↓↓␈↓ β∧Applications to Human Speech␈↓, 40 pages, October 1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓137,,,␈α⊂Donald␈α⊂E.␈α⊂Knuth,␈α⊃␈↓↓An␈α⊂Empirical␈α⊂Study␈α⊂of␈α⊃Fortran␈α⊂in␈α⊂Use␈↓,␈α⊂44␈α⊃pages,␈α⊂November
␈↓ α∧␈↓␈↓ β∧1970.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓138,␈α
CS␈↓↓-␈↓188,␈α
PB197161,␈α
Edward␈α
Ashcroft,␈α
Zohar␈α
Manna,␈α
␈↓↓The␈α
Translation␈α
of␈α`GO-TO'
␈↓ α∧␈↓↓␈↓ β∧Programs to `WHILE' Programs␈↓, 28 pages, January 1971.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓139,␈α∞CS␈↓↓-␈↓189,␈α∞AD717601,␈α∞Zohar␈α∞Manna,␈α
␈↓↓Mathematical␈α∞Theory␈α∞of␈α∞Partial␈α∞Correctness␈↓,␈α
24
␈↓ α∧␈↓␈↓ β∧pages, January 1971.  Cost: $2.40

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓140,␈α
CS␈↓↓-␈↓193,,␈α
Roger␈α
C.␈α
Schank,␈α
␈↓↓Intention,␈α
Memory,␈α
&␈α
Computer␈α
Underst&ing␈↓,␈α
59␈α
pages,
␈↓ α∧␈↓␈↓ β∧January 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓141,␈α⊗CS␈↓↓-␈↓203,␈α↔AD730506,␈α⊗Bruce␈α⊗G.␈α↔Buchanan,␈α⊗Joshua␈α⊗Lederberg,␈α↔␈↓↓The␈α⊗Heuristic
␈↓ α∧␈↓↓␈↓ β∧DENDRAL Program for Explaining Empirical Data␈↓, 20 pages, February 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓142,␈α∂CS␈↓↓-␈↓205,␈α∂AD731383,␈α∂Robin␈α∂Milner,␈α∂␈↓↓An␈α∂Algebraic␈α∂Definition␈α∂of␈α∂Simulation␈α∂Between
␈↓ α∧␈↓↓␈↓ β∧Programs␈↓, 21 pages, February 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓143,␈α∂CS␈↓↓-␈↓209,␈α∂AD724867,␈α∞John␈α∂McCarthy,␈α∂et␈α∂al,␈α∞␈↓↓Project␈α∂Technical␈α∂Report␈↓,␈α∂80␈α∞pages,
␈↓ α∧␈↓␈↓ β∧March 1971.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓144,␈α
CS␈↓↓-␈↓219,,␈αLynn␈α
H.␈αQuam,␈α
␈↓↓Computer␈α
Comparison␈αof␈α
Pictures␈↓,␈α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,␈α␈↓↓A␈αHeuristic␈α
Programming␈αStudy␈αof␈αTheory␈α
Formation␈αin␈αScience␈↓,␈α41␈α
pages,
␈↓ α∧␈↓␈↓ β∧June 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓146, CS␈↓↓-␈↓224, PB212183, &rei P. Ershov, ␈↓↓Parallel Programming␈↓, 14 pages, July 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓147,␈α⊂CS␈↓↓-␈↓216,␈α⊂AD732457,␈α⊂Robert␈α⊂E.␈α⊂Kling,␈α⊂␈↓↓Reasoning␈α⊂by␈α⊂Analogy␈α⊂with␈α⊂Applications␈α∂to
␈↓ α∧␈↓␈↓α11␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓↓␈↓ β∧Heuristic␈α⊂Problem␈α⊂Solving:␈α⊂a␈α⊂Case␈α⊂Study␈↓,␈α⊂Thesis:␈α⊂Ph.D.␈α⊂in␈α⊂Computer␈α⊂Science,␈α∂191
␈↓ α∧␈↓␈↓ β∧pages, August 1971.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓148,␈α↔CS␈↓↓-␈↓217,␈α↔AD731730,␈α↔Edward␈α_Ashcroft,␈α↔Zohar␈α↔Manna,␈α↔Amir␈α_Pneuli,␈α↔␈↓↓Decidable
␈↓ α∧␈↓↓␈↓ β∧Properties of Monadic Functional Schemas␈↓, 10 pages, July 1971.  Cost: $2.00

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓149,␈α
CS␈↓↓-␈↓231,␈αAD732644,␈α
Rodney␈αAlbert␈α
Schmidt,␈αJr.,␈α
␈↓↓A␈αStudy␈α
of␈αthe␈α
Real-time␈αControl␈α
of
␈↓ α∧␈↓↓␈↓ β∧a␈α∃Computer-driven␈α∃Vehicle␈↓,␈α∀Thesis:␈α∃Ph.D.␈α∃in␈α∀Electrical␈α∃Engineering,␈α∃180␈α∀pages,
␈↓ α∧␈↓␈↓ β∧August 1971.  Cost: $6.75

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓150,,,␈α∀Robert␈α∀W.␈α∀Floyd,␈α∀␈↓↓Toward␈α∀Interactive␈α∀Design␈α∀of␈α∀Correct␈α∀Programs␈↓,␈α∃12␈α∀pages,
␈↓ α∧␈↓␈↓ β∧September␈α1971.␈α
  *AIM␈↓↓-␈↓151,␈αCS␈↓↓-␈↓240,␈α
AD738568,␈αRalph␈α
L.␈αLondon,␈α
␈↓↓Correctness␈αof
␈↓ α∧␈↓↓␈↓ β∧Two Compilers for a LISP Subset␈↓, 41 pages, October 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓152,␈α
CS␈↓↓-␈↓241,␈αAD732642,␈α
Alan␈αW.␈α
Biermann,␈α
␈↓↓On␈αthe␈α
Inference␈αof␈α
Turing␈α
Machines␈αfrom
␈↓ α∧␈↓↓␈↓ β∧Sample Computations␈↓, 31 pages, October 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓153,␈α
CS␈↓↓-␈↓242,␈α
AD738569,␈αPatrick␈α
J.␈α
Hayes,␈α␈↓↓The␈α
Frame␈α
Problem␈α&␈α
Related␈α
Problems␈αin
␈↓ α∧␈↓↓␈↓ β∧Artificial Intelligence␈↓, 18 pages, November 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓154,␈α∃CS␈↓↓-␈↓243,␈α∃AD738570,␈α∃Zohar␈α∀Manna,␈α∃Stephen␈α∃Ness,␈α∃Jean␈α∃Vuillemin,␈α∀␈↓↓Inductive
␈↓ α∧␈↓↓␈↓ β∧Methods for Proving Properties of Programs␈↓, 24 pages, November 1971.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓155,␈α
CS␈↓↓-␈↓245,,␈α
Jonathan␈αLeonard␈α
Ryder,␈α
␈↓↓Heuristic␈α
Analysis␈αof␈α
Large␈α
Trees␈α
as␈αGenerated
␈↓ α∧␈↓↓␈↓ β∧in the Game of Go␈↓, 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,␈α
␈↓↓A␈α
Resemblance␈α
Test␈αfor␈α
the␈α
Validation␈α
of␈αa␈α
Computer␈α
Simulation␈α
of␈αParanoid
␈↓ α∧␈↓↓␈↓ β∧Processes␈↓, 29 pages, November 1971.  Cost: $2.50

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓157,␈α
CS␈↓↓-␈↓247,,␈α∞Yorick␈α
Wilks,␈α
␈↓↓One␈α∞Small␈α
Head␈α
--␈α∞Some␈α
Remarks␈α
on␈α∞the␈α
use␈α
of␈α∞`Model'␈α
in
␈↓ α∧␈↓↓␈↓ β∧Linguistics␈↓, 17 pages, December 1971.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓158,␈α
CS␈↓↓-␈↓250,␈α
AD740127,␈α
Ashok␈α
Ch&ra,␈α
Zohar␈α
Manna,␈α
␈↓↓Program␈α
Schemas␈α
With␈αEquality␈↓,
␈↓ α∧␈↓␈↓ β∧13 pages, December 1971.  Cost: $2.05

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓159,␈αCS␈↓↓-␈↓253,,␈α
Jerome␈αA.␈αFeldman,␈α
Paul␈αC.␈α
Shields,␈α␈↓↓Total␈αComplexity␈α
&␈αInference␈α
of␈αBest
␈↓ α∧␈↓↓␈↓ β∧Programs␈↓, 40 pages, April 1972.  Cost: $2.85

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓160,␈α∀CS␈↓↓-␈↓255,␈α∀AD740140,␈α∀Jerome␈α∪A.␈α∀Feldman,␈α∀␈↓↓Automatic␈α∀Programming␈↓,␈α∀20␈α∪pages,
␈↓ α∧␈↓␈↓ β∧February 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓161,␈α∃CS␈↓↓-␈↓264,␈α∃AD741189,␈α∀Yorick␈α∃Wilks,␈α∃␈↓↓Artificial␈α∀Intelligence␈α∃approach␈α∃to␈α∀Machine
␈↓ α∧␈↓↓␈↓ β∧Translation␈↓, 44 pages, February 1972.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑12

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓162,␈αCS␈↓↓-␈↓265,␈αAD744634,␈α
Roger␈αC.␈αSchank,␈α
N.␈αGoldman,␈αC.␈α
J.␈αRieger,␈αC.␈α
K.␈αRiesbeck,
␈↓ α∧␈↓␈↓ β∧␈↓↓Primitive Concepts Underlying Verbs of Thought␈↓, 102 pages, April 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓163,␈α∪CS␈↓↓-␈↓266,,␈α∪Jean␈α∪M.␈α∪Cadiou,␈α∀␈↓↓Recursive␈α∪Definitions␈α∪of␈α∪Partial␈α∪Functions␈α∀&␈α∪Their
␈↓ α∧␈↓↓␈↓ β∧Computations␈↓, Thesis: Ph.D. in Computer Science, 160 pages, April 1972.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓164,␈αCS␈↓↓-␈↓272,␈αAD742748,␈αZohar␈αManna,␈αJean␈αVuillemin,␈α␈↓↓Fixpoint␈αApproach␈αto␈αthe␈αTheory
␈↓ α∧␈↓↓␈↓ β∧of Computation␈↓, 29 pages, April 1972.  Cost: $2.50

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓165,␈α
CS␈↓↓-␈↓280,␈α
AD742751,␈αD.␈α
A.␈α
Bochvar,␈α␈↓↓Two␈α
Papers␈α
on␈αPartial␈α
Predicate␈α
Calculus␈↓,␈α50
␈↓ α∧␈↓␈↓ β∧pages, April 1972.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓166,␈α
CS␈↓↓-␈↓281,␈α
AD␈↓↓-␈↓743598,␈α
Lynn␈α
H.␈α
Quam,␈α
S.␈α
Liebes,␈α
R.␈α
B.␈α
Tucker,␈α
M.␈α
J.␈α
Hannah,␈α∞B.␈α
G.
␈↓ α∧␈↓␈↓ β∧Eross, ␈↓↓Computer Interactive Picture Processing␈↓, 40 pages, April 1972.  Cost: $2.85

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓167,␈α∩CS␈↓↓-␈↓282,␈α∩AD747254,␈α∩Ashok␈α∩K.␈α∩Ch&ra,␈α∩␈↓↓Efficient␈α∩Compilation␈α∩of␈α∩Linear␈α⊃Recursive
␈↓ α∧␈↓↓␈↓ β∧Programs␈↓, 43 pages, June 1972.  Cost: $2.90

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓168,␈α∃CS␈↓↓-␈↓287,␈α∃AD746146,Shigeru␈α∃Igarashi,␈α∃␈↓↓Admissibility␈α∃of␈α∃Fixed-point␈α∃Induction␈α∀in
␈↓ α∧␈↓↓␈↓ β∧First-order␈α∞Logic␈α
of␈α∞Typed␈α
Theories␈↓,␈α∞Diskfile:␈α
FIXPNT.IGR[AIM,DOC],␈α∞40␈α∞pages,␈α
May
␈↓ α∧␈↓␈↓ β∧1972.  Cost: $2.85

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓169,␈α
CS␈↓↓-␈↓288,␈αAD785072␈α
Robin␈αMilner,␈α
␈↓↓Logic␈αfor␈α
Computable␈αFunctions:␈α
Description␈α
of␈αa
␈↓ α∧␈↓↓␈↓ β∧Machine Implementation␈↓, Diskfile: LCFMAN.RGM[AIM,DOC], 36 pages, May 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓170,␈αCS␈↓↓-␈↓289,␈αAD748607,␈αYorick␈αWilks,␈α␈↓↓Lakoff␈αon␈αLinguistics␈α&␈αNatural␈αLogic␈↓,␈α
Diskfile:
␈↓ α∧␈↓␈↓ β∧LAKOFF.YAW[AIM,DOC], 19 pages, June 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓171, CS␈↓↓-␈↓290, AD746147, Roger Schank, ␈↓↓Adverbs & Belief␈↓, 30 pages, June 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓172,␈α⊂CS␈↓↓-␈↓299,␈α∂AD752801,␈α⊂Sylvia␈α∂Weber␈α⊂Russell,␈α∂␈↓↓Semantic␈α⊂Categories␈α∂of␈α⊂Nominals␈α∂for
␈↓ α∧␈↓↓␈↓ β∧Conceptual Dependency Analysis of Natural Language␈↓, 64 pages, July 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓173,␈α∂CS␈↓↓-␈↓305,␈α∂AD755139,␈α∂Gerald␈α∂Jacob␈α∂Agin,␈α∂␈↓↓Representation␈α∂&␈α∂Description␈α∂of␈α∞Curved
␈↓ α∧␈↓↓␈↓ β∧Objects␈↓, Thesis: Ph.D. in Computer Science, 134 pages, October 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓174,␈α∃CS␈↓↓-␈↓303,␈α∀PB212827,␈α∃Francis␈α∀Lockwood␈α∃Morris,␈α∀␈↓↓Correctness␈α∃of␈α∃Translations␈α∀of
␈↓ α∧␈↓↓␈↓ β∧Programming␈α↔Languages␈α↔--␈α↔an␈α↔Algebraic␈α↔Approach␈↓,␈α↔Thesis:␈α↔Ph.D.␈α_in␈α↔Computer
␈↓ α∧␈↓␈↓ β∧Science, 124 pages, August 1972.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓175,␈α↔CS␈↓↓-␈↓307,␈α↔AD785073,␈α↔Hozumi␈α↔Tanaka,␈α↔␈↓↓Hadamard␈α↔Transform␈α↔for␈α_Speech␈α↔Wave
␈↓ α∧␈↓↓␈↓ β∧Analysis␈↓, Diskfile: HADAM.HT[AIM,DOC], 34 pages, August 1972.  Cost: $2.65
␈↓ α∧␈↓␈↓α13␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓176,␈αCS␈↓↓-␈↓308,␈αAD754109,␈αJerome␈αA.␈αFeldman,␈αJ.␈αR.␈αLow,␈αD.␈αC.␈αSwinehart,␈αR.␈αH.␈αTaylor,
␈↓ α∧␈↓␈↓ β∧␈↓↓Recent␈αDevelopments␈α
in␈αSAIL␈α--␈α
an␈αALGOL␈αbased␈α
Language␈αfor␈α
Artificial␈αIntelligence␈↓,
␈↓ α∧␈↓␈↓ β∧22 pages, November 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓177,␈α
CS␈↓↓-␈↓311,␈α
AD785071,␈αRichard␈α
Paul,␈α
␈↓↓Modelling,␈α
Trajectory␈αCalculation␈α
&␈α
Servoing␈αof␈α
a
␈↓ α∧␈↓↓␈↓ β∧Computer␈α
Controlled␈α
Arm␈↓,␈α
Thesis:␈α
Ph.D.␈α
in␈α
Computer␈α
Science,␈α
89␈α
pages,␈α
November
␈↓ α∧␈↓␈↓ β∧1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓178,␈α
CS␈↓↓-␈↓312,␈α
AD754108,␈αAharon␈α
Gill,␈α
␈↓↓Visual␈α
Feedback␈α&␈α
Related␈α
Problems␈α
in␈αComputer
␈↓ α∧␈↓↓␈↓ β∧Controlled␈αH&␈αeye␈αCoordination␈↓,␈αThesis:␈α Ph.D.␈αin␈αElectrical␈αEngineering,␈α130␈αpages,
␈↓ α∧␈↓␈↓ β∧October 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓179,␈α
CS␈↓↓-␈↓320,,␈α
Bruce␈α∞G.␈α
Baumgart,␈α
␈↓↓Winged␈α∞Edge␈α
Polyhedron␈α
Representation␈↓,␈α∞46␈α
pages,
␈↓ α∧␈↓␈↓ β∧October 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓180,␈α⊂CS␈↓↓-␈↓321,␈α⊃AD759712,␈α⊂Ruzena␈α⊃Bajcsy,␈α⊂␈↓↓Computer␈α⊃Identification␈α⊂of␈α⊃Textured␈α⊂Visual
␈↓ α∧␈↓↓␈↓ β∧Scenes␈↓, Thesis:  Ph.D. in Computer Science, 156 pages, October 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓181,␈α
CS␈↓↓-␈↓325,,␈αBruce␈α
G.␈α
Buchanan,␈α␈↓↓Review␈α
of␈α
Hubert␈αDreyfus'␈α
`What␈α
Computers␈αCan't␈α
Do':
␈↓ α∧␈↓↓␈↓ β∧a Critique of Artificial Reason␈↓, 14 pages, November 1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓182,␈α∩CS␈↓↓-␈↓326,␈α⊃AD754107,␈α∩Kenneth␈α⊃Mark␈α∩Colby␈α⊃&␈α∩Franklin␈α⊃Dennis␈α∩Hilf,␈α∩␈↓↓Can␈α⊃Expert
␈↓ α∧␈↓↓␈↓ β∧Judges,␈α∀using␈α∀Transcripts␈α∀of␈α∀Teletyped␈α∀Psychiatric␈α∀Interviews,␈α∃Distinguish␈α∀Human
␈↓ α∧␈↓↓␈↓ β∧Paranoid␈α∪Patients␈α∩from␈α∪a␈α∩Computer␈α∪Simulation␈α∩of␈α∪Paranoid␈α∩Processes?␈↓,␈α∪10␈α∩pages,
␈↓ α∧␈↓␈↓ β∧December,1972.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓183,␈α⊃CS␈↓↓-␈↓344,␈α⊃AD759716,␈α⊃Roger␈α⊃C.␈α⊃Schank,␈α⊃␈↓↓The␈α⊃Fourteen␈α⊃Primitive␈α⊃Actions␈α⊃&␈α⊃their
␈↓ α∧␈↓↓␈↓ β∧Inferences␈↓, 70 pages, March 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓184,␈α⊃CS␈↓↓-␈↓330,␈α⊂AD758651,␈α⊃Malcolm␈α⊃Newey,␈α⊂␈↓↓Axioms␈α⊃&␈α⊃Theorems␈α⊂for␈α⊃Integers,␈α⊃Lists␈α⊂&
␈↓ α∧␈↓↓␈↓ β∧Finite Sets in LCF␈↓, 53 pages, January 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓185,␈αCS␈↓↓-␈↓333,␈αAD757367,␈αAshok␈αK.␈αCh&ra,␈αZohar␈αManna,␈α␈↓↓On␈αthe␈αPower␈αof␈αProgramming
␈↓ α∧␈↓↓␈↓ β∧Features␈↓, 29 pages, January 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓186, CS␈↓↓-␈↓332, AD758645, Robin Milner, ␈↓↓Models of LCF␈↓, 17 pages, January 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓187,␈α∩CS␈↓↓-␈↓331,␈α∩AD757364,␈α∩George␈α∩E.␈α∩Collins,␈α∩␈↓↓The␈α∩Computing␈α∩Time␈α∩of␈α∩the␈α∩Euclidean
␈↓ α∧␈↓↓␈↓ β∧Algorithm␈↓, 17 pages, January 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓188,␈αCS␈↓↓-␈↓336,␈αAD758646,␈αAshok␈αK.␈αCh&ra,␈α␈↓↓On␈αthe␈αProperties␈α&␈αApplications␈αof␈αProgram
␈↓ α∧␈↓↓␈↓ β∧Schemas␈↓, Thesis: Ph.D. in Computer Science, 231 pages, March 1973.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑14

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓189,␈α⊃CS␈↓↓-␈↓337,␈α⊃PB218682,␈α⊂James␈α⊃Gips,␈α⊃George␈α⊂Stiny,␈α⊃␈↓↓Aesthetics␈α⊃Systems␈↓,␈α⊃22␈α⊂pages,
␈↓ α∧␈↓␈↓ β∧January 1973.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓190,␈αCS␈↓↓-␈↓340,␈αAD759714,␈αMalcolm␈αNewey,␈α␈↓↓Notes␈αon␈αa␈αProblem␈αInvolving␈αPermutations␈αas
␈↓ α∧␈↓↓␈↓ β∧Sequences␈↓, 20 pages, March 1973.  Cost: $2.25

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓191,␈α∀CS␈↓↓-␈↓341,␈α∀AD764272,␈α∀Shmuel␈α∀M.␈α∀Katz,␈α∀Zohar␈α∀Manna,␈α∀␈↓↓A␈α∀Heuristic␈α∀Approach␈α∀to
␈↓ α∧␈↓↓␈↓ β∧Program Verification␈↓, 40 pages, March 1973.  Cost: $2.85

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓192,␈α_CS␈↓↓-␈↓345,␈α_AD785074,␈α_George␈α→E.␈α_Collins,␈α_Ellis␈α_Horowitz,␈α_␈↓↓The␈α→Minimum␈α_Root
␈↓ α∧␈↓↓␈↓ β∧Separation of a Polynomial␈↓, 13 pages, April 1973.  Cost: $2.05

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓193,␈α∪CS␈↓↓-␈↓346,␈α∪AD759717,␈α∪Kenneth␈α∀Mark␈α∪Colby,␈α∪␈↓↓The␈α∪Rationale␈α∪for␈α∀Computer␈α∪Based
␈↓ α∧␈↓↓␈↓ β∧Treatment␈α→of␈α→Language␈α→Difficulties␈α→in␈α→Nonspeaking␈α→Autistic␈α→Children␈↓,␈α_Diskfile:
␈↓ α∧␈↓␈↓ β∧AUTISM.KMC[AIM,DOC], 13 pages, March 1973.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓194,␈αCS␈↓↓-␈↓347,␈αPB221170/4,␈αKenneth␈αMark␈αColby,␈αFranklin␈αDennis␈αHilf,␈α␈↓↓Multidimensional
␈↓ α∧␈↓↓␈↓ β∧Analysis␈α∩in␈α⊃Evaluating␈α∩a␈α⊃Simulation␈α∩of␈α⊃Paranoid␈α∩Thought␈↓,␈α⊃10␈α∩pages,␈α∩May␈α⊃1973.
␈↓ α∧␈↓␈↓ β∧Cost: $2.00

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓195,␈α∂CS␈↓↓-␈↓356,␈α⊂PB222164,␈α∂David␈α⊂Canfield␈α∂Smith,␈α∂Horace␈α⊂J.␈α∂Enea,␈α⊂␈↓↓MLISP2␈↓,␈α∂Diskfile:
␈↓ α∧␈↓␈↓ β∧MLISP2.DAV[AIM,DOC], 91 pages, May 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓196,␈α⊂CS␈↓↓-␈↓357,␈α∂AD762471,␈α⊂Neil␈α⊂M.␈α∂Goldman,␈α⊂Christopher␈α∂K.␈α⊂Riesbeck,␈α⊂␈↓↓A␈α∂Conceptually
␈↓ α∧␈↓↓␈↓ β∧Based Sentence Paraphraser␈↓, Diskfile:  MARGIE.NMG[AIM,DOC], 88 pages, May 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓197,␈α∩CS␈↓↓-␈↓358,␈α∩AD762470,␈α⊃Roger␈α∩C.␈α∩Schank,␈α⊃Charles␈α∩J.␈α∩Rieger␈α⊃III,␈α∩␈↓↓Inference␈α∩&␈α⊃the
␈↓ α∧␈↓↓␈↓ β∧Computer Underst&ing of Natural Language␈↓, 63 pages, May 1973.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓198,␈α⊃CS␈↓↓-␈↓364,␈α⊃AD763611,␈α⊂Ravindra␈α⊃B.␈α⊃Thosar,␈α⊂␈↓↓Estimation␈α⊃of␈α⊃Probability␈α⊃Density␈α⊂using
␈↓ α∧␈↓↓␈↓ β∧Signature␈αTables␈αfor␈αApplication␈αto␈αPattern␈αRecognition␈↓,␈α37␈αpages,␈αMay␈α1973.␈α Cost:
␈↓ α∧␈↓␈↓ β∧$2.75

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓199,␈α
CS␈↓↓-␈↓398,␈α
AD771300,␈α
Bruce␈α
G.␈α
Baumgart,␈α
␈↓↓Image␈α
Contouring␈α
&␈α
Comparing␈↓,␈α
52␈α
pages,
␈↓ α∧␈↓␈↓ β∧October 1973.  Cost: $3.15

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓200,␈αCS␈↓↓-␈↓365,,␈α
Shigeru␈αIgarashi,␈αDavid␈α
C.␈αLuckham,␈αRalph␈α
L.␈αLondon,␈α␈↓↓Automatic␈α
Program
␈↓ α∧␈↓↓␈↓ β∧Verification I:  Logical Basis & its Implementation␈↓, 50 pages, May 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓201,␈α∀CS␈↓↓-␈↓366,␈α∀AD763673,␈α∀Gunnar␈α∀Rutger␈α∀Grape,␈α∀␈↓↓Model␈α∀Based␈α∃(Intermediate␈α∀Level)
␈↓ α∧␈↓↓␈↓ β∧Computer Vision␈↓, Thesis:  Ph.D. in Computer Science, 256 pages, May 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓202,␈α
CS␈↓↓-␈↓368,␈α
AD764396,␈α
Roger␈α
C.␈αSchank,␈α
Yorick␈α
Wilks,␈α
␈↓↓The␈α
Goals␈α
of␈αLinguistic␈α
Theory
␈↓ α∧␈↓↓␈↓ β∧Revisited␈↓, 44 pages, May 1973.
␈↓ α∧␈↓␈↓α15␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓203,␈α
CS␈↓↓-␈↓369,␈αAD764274,␈α
Roger␈α
C.␈αSchank,␈α
␈↓↓The␈α
Development␈αof␈α
Conceptual␈αStructures␈α
in
␈↓ α∧␈↓↓␈↓ β∧Children␈↓, 31 pages, May 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓204,␈α(CS␈↓↓-␈↓373,␈α(AD765353,␈α(Kurt␈α(VanLehn,␈α(␈↓↓SAIL␈α(Users␈α(Manual␈↓,␈α'Diskfile:
␈↓ α∧␈↓␈↓ β∧SAIL.KVL[AIM,DOC], 122 pages, July 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓205,␈α∪CS␈↓↓-␈↓370,␈α∪AD764288,␈α∀N.␈α∪S.␈α∪Sridharan,␈α∪et␈α∀al,␈α∪␈↓↓A␈α∪Heuristic␈α∪Program␈α∀to␈α∪Discover
␈↓ α∧␈↓↓␈↓ β∧Syntheses for Complex Organic Molecules␈↓, 30 pages, June 1973.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓206,␈α⊃CS␈↓↓-␈↓377,␈α⊃AD764652,␈α∩Yorick␈α⊃Wilks,␈α⊃␈↓↓Preference␈α∩Semantics␈↓,␈α⊃20␈α⊃pages,␈α∩July␈α⊃1973.
␈↓ α∧␈↓␈↓ β∧Cost: $2.25

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓207,␈α∂CS␈↓↓-␈↓378,␈α∂AD767333,␈α∞James␈α∂&erson␈α∂Moorer,␈α∞␈↓↓The␈α∂`Optimum-comb'␈α∂Method␈α∂of␈α∞Pitch
␈↓ α∧␈↓↓␈↓ β∧Period Analysis in Speech␈↓, 25 pages, June 1973.  Cost: $2.40

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓208,␈α
CS␈↓↓-␈↓379,␈α
AD767334,␈α
James␈α
&erson␈α
Moorer,␈α
␈↓↓The␈α
Heterodyne␈α
Method␈α
of␈α∞Analysis␈α
of
␈↓ α∧␈↓↓␈↓ β∧Transient Waveforms␈↓, 25 pages, June 1973.  Cost: $2.40

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓209,␈α
CS␈↓↓-␈↓380,␈α
AD767695,␈αYoram␈α
Yakimovsky,␈α
␈↓↓Scene␈α
Analysis␈αusing␈α
a␈α
Semantic␈α
Base␈αfor
␈↓ α∧␈↓↓␈↓ β∧Region Growing␈↓, Thesis:  Ph.D. in Computer Science, 120 pages, July 1973.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓210,␈α⊗CS␈↓↓-␈↓382,␈α⊗AD767335,␈α⊗Zohar␈α⊗Manna,␈α⊗Amir␈α⊗Pnueli,␈α⊗␈↓↓Axiomatic␈α⊗Approach␈α↔to␈α⊗Total
␈↓ α∧␈↓↓␈↓ β∧Correctness of Programs␈↓, 25 pages, July 1973.  Cost: $2.40

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓211,␈α↔CS␈↓↓-␈↓383,␈α↔AD769673,␈α↔Yorick␈α↔Wilks,␈α↔␈↓↓Natural␈α↔Language␈α↔Inference␈↓,␈α_24␈α↔pages,
␈↓ α∧␈↓␈↓ β∧September 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓212,␈α
CS␈↓↓-␈↓384,␈α
AD769379,␈α
Annette␈α
Herskovits,␈α
␈↓↓The␈α
Generation␈α
of␈α
French␈α
from␈αa␈α
Semantic
␈↓ α∧␈↓↓␈↓ β∧Representation␈↓, 20 pages, September 1973.

␈↓"β␈↓ α∧␈↓AIM␈↓↓-␈↓213,␈α∩CS␈↓↓-␈↓385,,␈α⊃Ravindra␈α∩B.␈α∩Thosar,␈α⊃␈↓↓Recognition␈α∩of␈α⊃Continuous␈α∩Speech:␈α∩Segmentation␈α⊃&
␈↓ α∧␈↓↓␈↓ β∧Classification␈α
using␈α
Signature␈α
Table␈αAdaptation␈↓,␈α
37␈α
pages,␈α
September␈α
1973.␈α Cost:
␈↓ α∧␈↓␈↓ β∧$2.75

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓214,␈α∞CS␈↓↓-␈↓386,␈α∂AD767332,␈α∞Walter␈α∂A.␈α∞Perkins,␈α∞Thomas␈α∂O.␈α∞Binford,␈α∂␈↓↓A␈α∞Corner␈α∂Finder␈α∞for
␈↓ α∧␈↓↓␈↓ β∧Visual Feedback␈↓, 59 pages, September 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓215,␈α
CS␈↓↓-␈↓387,␈α
AD769380,␈α
Bruce␈α
G.␈α∞Buchanan,␈α
N.␈α
S.␈α
Sridharan,␈α
␈↓↓Analysis␈α
of␈α∞Behavior␈α
of
␈↓ α∧␈↓↓␈↓ β∧Chemical␈αMolecules:␈αRule␈αFormation␈αon␈αNon-homogeneous␈αClasses␈αof␈αObjects␈↓,␈α15␈αpages,
␈↓ α∧␈↓␈↓ β∧September 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓216,␈α∂CS␈↓↓-␈↓389,␈α∂AD771299,␈α∞Larry␈α∂Masinter,␈α∂N.S.␈α∂Sridharan,␈α∞J.␈α∂Lederberg,␈α∂S.␈α∂H.␈α∞Smith,
␈↓ α∧␈↓␈↓ β∧␈↓↓Applications␈α
of␈α
Artificial␈α
Intelligence␈αfor␈α
Chemical␈α
Inference:␈α
XII.␈α Exhaustive␈α
Generation
␈↓ α∧␈↓↓␈↓ β∧of Cyclic & Acyclic Isomers␈↓, 60 pages, September 1973.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑16

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓217,␈α⊃CS␈↓↓-␈↓391,␈α⊂AD770610,␈α⊃N.␈α⊂S.␈α⊃Sridharan,␈α⊂␈↓↓Search␈α⊃Strategies␈α⊂for␈α⊃the␈α⊂Task␈α⊃of␈α⊂Organic
␈↓ α∧␈↓↓␈↓ β∧Chemical Synthesis␈↓, 32 pages, August 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓218,␈α
CS␈↓↓-␈↓393,␈α
AD772063/4WC,␈α
Jean␈α∞Etienne␈α
Vuillemin,␈α
␈↓↓Proof␈α
Techniques␈α∞for␈α
Recursive
␈↓ α∧␈↓↓␈↓ β∧Programs␈↓, Thesis:  Ph.D. in Computer Science, 97 pages, October 1973.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓219,␈αCS␈↓↓-␈↓394,␈αAD769674,␈αC.␈αA.␈αR.␈αHoare,␈α␈↓↓Parallel␈αProgramming:␈αan␈αAxiomatic␈αApproach␈↓,
␈↓ α∧␈↓␈↓ β∧33 pages, October 1973.

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

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓221,␈α⊃CS␈↓↓-␈↓447,␈α⊃AD787631/1WC,␈α⊂Luigia␈α⊃Aiello,␈α⊃Mario␈α⊂Aiello,␈α⊃Richard␈α⊃Weyhrauch,␈α⊂␈↓↓The
␈↓ α∧␈↓↓␈↓ β∧Semantics of PASCAL in LCF␈↓, 78 pages, October 1974.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓222,␈αCS␈↓↓-␈↓467,,␈α
Mario␈αAiello,␈αRichard␈α
Weyhrauch,␈α␈↓↓Checking␈α
Proofs␈αin␈αthe␈α
Metamathematics
␈↓ α∧␈↓↓␈↓ β∧of First Order Logic␈↓, 55 pages, August 1974.  Cost: $3.25

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓223,␈α⊗CS␈↓↓-␈↓400,␈α⊗AD772509,␈α⊗C.␈α⊗A.␈α∃R.␈α⊗Hoare,␈α⊗␈↓↓Recursive␈α⊗Data␈α⊗Structures␈↓,␈α⊗32␈α∃pages,
␈↓ α∧␈↓␈↓ β∧December 1973.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓224,␈α
CS␈↓↓-␈↓403,␈αAD773391,␈α
C.␈αA.␈α
R.␈αHoare,␈α
␈↓↓Hints␈αon␈α
Programming␈αLanguage␈α
Design␈↓,␈α29
␈↓ α∧␈↓␈↓ β∧pages, December 1973.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓225,␈αCS␈↓↓-␈↓406,␈αAD775645/5WC,␈αW.␈αA.␈αPerkins,␈α␈↓↓Memory␈αModel␈αFor␈αa␈αRobot␈↓,␈α118␈αpages,
␈↓ α∧␈↓␈↓ β∧January 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓226,␈α∂CS␈↓↓-␈↓407,␈α∂AD778310/3WC,␈α⊂F.H.G.␈α∂Wright␈α∂II,␈α∂R.␈α⊂E.␈α∂Gorin,␈α∂␈↓↓FAIL␈↓,␈α∂61␈α⊂pages,␈α∂April
␈↓ α∧␈↓␈↓ β∧1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓227,␈αCS␈↓↓-␈↓408,␈αADA003483,␈α
A.␈αJ.␈αThomas,␈αT.␈α
O.␈αBinford,␈α␈↓↓Information␈α
Processing␈αAnalysis
␈↓ α∧␈↓↓␈↓ β∧of Visual Perception: A Review␈↓, 50 pages, June 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓228,␈α⊂CS␈↓↓-␈↓409,␈α⊂AD776233/9WC,␈α⊂Lester␈α⊂Earnest␈α⊂(ed.),␈α⊂␈↓↓FINAL␈α⊂REPORT:␈α⊂ The␈α⊂First
␈↓ α∧␈↓↓␈↓ β∧Ten Years of Artificial Intelligence Research at Stanford␈↓, 118 pages, July 1973.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓229,␈α⊂CS␈↓↓-␈↓411,,␈α⊃D.B.␈α⊂&erson,␈α⊂T.O.␈α⊃Binford,␈α⊂A.J.␈α⊂Thomas,␈α⊃R.W.␈α⊂Weyhrauch,␈α⊃Y.A.␈α⊂Wilks,
␈↓ α∧␈↓␈↓ β∧␈↓↓AFTER␈αLEIBNIZ␈α.␈α.␈α.␈α:␈αDiscussions␈αon␈αPhilosophy␈α&␈αArtificial␈αIntelligence␈↓,␈α43␈αpages,
␈↓ α∧␈↓␈↓ β∧April 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓230,␈α⊂CS␈↓↓-␈↓412,␈α⊂AD786721/1WC,␈α∂Daniel␈α⊂C.␈α⊂Swinehart,␈α∂␈↓↓COPILOT:␈α⊂ A␈α⊂Multiple␈α∂Process
␈↓ α∧␈↓↓␈↓ β∧Approach␈α∂to␈α⊂Interactive␈α∂Programming␈α⊂Systems␈↓,␈α∂Thesis:␈α⊂ Ph.D.␈α∂in␈α⊂Computer␈α∂Science,
␈↓ α∧␈↓␈↓ β∧213 pages, August 1974.
␈↓ α∧␈↓␈↓α17␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓231,␈α
CS␈↓↓-␈↓413,␈αADA001814,␈α
James␈α
Gips,␈α␈↓↓Shape␈α
Grammars␈α
&␈αtheir␈α
Uses␈↓,␈α
Thesis:␈α Ph.D.␈α
in
␈↓ α∧␈↓␈↓ β∧Computer Science, 243 pages, August 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓232,␈αCS␈↓↓-␈↓414,␈αAD780452/9WC,␈α
Bruce␈αG.␈αBaumgart,␈α␈↓↓GEOMED␈α
-␈αA␈αGeometric␈αEditor␈↓,␈α
45
␈↓ α∧␈↓␈↓ β∧pages, May 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓233,␈α
CS␈↓↓-␈↓419,␈α
ADA000086/9WC,␈α
Charles␈α
J.␈α
Rieger,␈α
III,␈α
␈↓↓Conceptual␈α
Memory:␈α
 A␈αTheory␈α
&
␈↓ α∧␈↓↓␈↓ β∧Computer␈α≠Program␈α≠for␈α~Processing␈α≠the␈α≠Meaning␈α~Content␈α≠of␈α≠Natural␈α~Language
␈↓ α∧␈↓↓␈↓ β∧Utterances␈↓, Thesis:  Ph.D. in Computer Science, 393 pages, June 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓234,␈α!CS431,␈α!NAN,␈α!Kenneth␈α!Mark␈α!Colby,␈α!Roger␈α!C.␈α!Parkison,␈α"Bill␈α!Faught,
␈↓ α∧␈↓␈↓ β∧␈↓↓Pattern-Matching␈α
Rules␈α
for␈α
the␈α
Recognition␈α
of␈α
Natural␈α
Language␈αDialogue␈α
Expressions␈↓,
␈↓ α∧␈↓␈↓ β∧23 pages, June 1974.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓235,␈α
CS␈↓↓-␈↓432,␈α∞ADA006898/1WC,␈α
Richard␈α∞ W.␈α
Weyhrauch,␈α
Arthur␈α∞J.␈α
Thomas,␈α∞␈↓↓FOL:␈α
 A
␈↓ α∧␈↓↓␈↓ β∧Proof Checker for First-order Logic␈↓, 57 pages, September 1974.  Cost: $3.30

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓236,␈αCS␈↓↓-␈↓433,␈α
AD784513/4WC,␈αJack␈αR.␈α
Buchanan␈α&␈αDavid␈α
C.␈αLuckham,␈α␈↓↓On␈α
Automating
␈↓ α∧␈↓↓␈↓ β∧the Construction of Programs␈↓, 65 pages, May 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓237,␈α∩CS␈↓↓-␈↓436,,␈α∩Yorick␈α∩Wilks,␈α∪␈↓↓Natural␈α∩Language␈α∩Underst&ing␈α∩Systems␈α∩Within␈α∪the␈α∩AI
␈↓ α∧␈↓↓␈↓ β∧Paradigm -- A Survey & Some Comparisons␈↓, 40 pages, December 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓238,␈α↔CS␈↓↓-␈↓437,␈α↔ADA005040,␈α↔Christopher␈α↔K.␈α↔Riesbeck,␈α↔␈↓↓Computational␈α⊗Underst&ing:
␈↓ α∧␈↓↓␈↓ β∧Analysis␈α∂of␈α∂Sentences␈α⊂&␈α∂Context␈↓,␈α∂Thesis:␈α∂ Ph.D.␈α⊂in␈α∂Computer␈α∂Science,␈α⊂245␈α∂pages,
␈↓ α∧␈↓␈↓ β∧May 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓239,␈α⊃CS␈↓↓-␈↓438,␈α⊃AD786720/3WC,␈α⊃Marsha␈α∩Jo␈α⊃Hannah,␈α⊃␈↓↓Computer␈α⊃Matching␈α⊃of␈α∩Areas␈α⊃in
␈↓ α∧␈↓↓␈↓ β∧Stereo Images␈↓, 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,␈α∞&␈α∂Louis␈α∞I.
␈↓ α∧␈↓␈↓ β∧Steinberg,␈α∀␈↓↓Progress␈α∀Report␈α∃on␈α∀Program-underst&ing␈α∀Systems␈↓,␈α∀47␈α∃pages,␈α∀August
␈↓ α∧␈↓␈↓ β∧1974.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓241,␈α⊂CS␈↓↓-␈↓446,␈α⊂AD786723/7WC,␈α∂Luigia␈α⊂Aiello,␈α⊂Richard␈α∂W.␈α⊂Weyhrauch,␈α⊂␈↓↓LCFsmall:␈α∂ an
␈↓ α∧␈↓↓␈↓ β∧Implementation of LCF␈↓, 45 pages, August 1974.  Cost: $2.95

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓242,␈α∪CS␈↓↓-␈↓452,␈α∪ADA000500/9WC,␈α∪James␈α∪R.␈α∩Low,␈α∪␈↓↓Automatic␈α∪Coding:␈α∪ Choice␈α∪of␈α∩Data
␈↓ α∧␈↓↓␈↓ β∧Structures␈↓, 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,␈α
␈↓↓AL,␈α
A␈α
Programming␈α
System␈α
for␈α
Automation␈↓,␈α
130␈α∞pages,␈α
November
␈↓ α∧␈↓␈↓ β∧1974.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑18

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓244,␈α_CS␈↓↓-␈↓457,␈α_NAN,␈α_Kenneth␈α_Mark␈α_Colby,␈α_␈↓↓Ten␈α_Criticisms␈α_of␈α_PARRY␈↓,␈α_7␈α_pages,
␈↓ α∧␈↓␈↓ β∧September 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓245,␈α⊂CS␈↓↓-␈↓458,␈α⊂AD784816/1WC,␈α⊂Jack␈α⊂Buchanan,␈α⊂␈↓↓A␈α⊂Study␈α⊂in␈α⊂Automatic␈α⊂Programming␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis:  Ph.D. in Computer Science, 148 pages, May 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓246,␈αCS459,␈αADA000085/1WC,␈αTerry␈αWinograd,␈α␈↓↓Five␈αLectures␈αon␈αArtificial␈αIntelligence␈↓,
␈↓ α∧␈↓␈↓ β∧93 pages, September 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓247,␈α→CS␈↓↓-␈↓461,␈α→ADA005041/9WC,␈α→Neil␈α→Goldman,␈α→␈↓↓Computer␈α→Generation␈α~of␈α→Natural
␈↓ α∧␈↓↓␈↓ β∧Language␈α∂From␈α⊂a␈α∂Deep␈α∂Conceptual␈α⊂Base␈↓,␈α∂Thesis:␈α∂Ph.D.␈α⊂in␈α∂Computer␈α⊂Science,␈α∂318
␈↓ α∧␈↓␈↓ β∧pages, January 1974.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓248,␈α
CS␈↓↓-␈↓462,,␈α
Karl␈α
Pingle,␈α
Arthur␈α
Thomas,␈α
␈↓↓A␈α
Fast,␈α
Feature-Driven␈α
Stereo␈αDepth␈α
Program␈↓,
␈↓ α∧␈↓␈↓ β∧15 pages, May 1975.  Cost: $2.15

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓249,␈α⊂CS␈↓↓-␈↓463,␈α⊂ADA002261,␈α⊂Bruce␈α∂Baumgart,␈α⊂␈↓↓Geometric␈α⊂Modeling␈α⊂for␈α⊂Computer␈α∂Vision␈↓,
␈↓ α∧␈↓␈↓ β∧Thesis: Ph.D. in Computer Science, 141 pages, October 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓250,␈α∃CS␈↓↓-␈↓464,␈α⊗ADA003486,␈α∃Ramakant␈α∃Nevatia,␈α⊗␈↓↓Structured␈α∃Descriptions␈α⊗of␈α∃Complex
␈↓ α∧␈↓↓␈↓ β∧Curved␈α→Objects␈α_for␈α→Recognition␈α→&␈α_Visual␈α→Memory␈↓,␈α_Thesis:␈α→ Ph.D.␈α→in␈α_Electrical
␈↓ α∧␈↓␈↓ β∧Engineering, 126 pages, October 1974.

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

␈↓"β␈↓ α∧␈↓↓⊗AIM-252,␈αCS-466,␈α
ADA002246,␈αLester␈α
Earnest␈α(ed.),␈αRecent␈α
Research␈αin␈α
Artificial␈αIntelligence,
␈↓ α∧␈↓↓␈↓ β∧Heuristic Programming, & Network Protocols␈↓, 74 pages, July 1974.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓253,␈αCS␈↓↓-␈↓471,␈αADA003487,␈αBill␈αFaught,␈αKenneth␈αColby,␈αRoger␈αParkison,␈α␈↓↓The␈αInteraction
␈↓ α∧␈↓↓␈↓ β∧of␈α⊃Inferences,␈α⊃Affects,␈α⊃&␈α⊃Intentions␈α⊃in␈α⊃a␈α⊃Model␈α⊃of␈α⊃Paranoia␈↓,␈α⊃38␈α∩pages,␈α⊃December
␈↓ α∧␈↓␈↓ β∧1974.  Cost: $2.75

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓254,␈α∂CS␈↓↓-␈↓472,␈α⊂ADA005407/2WC,␈α∂Lynn␈α⊂Quam,␈α∂Marsha␈α⊂Jo␈α∂Hannah,␈α⊂␈↓↓Stanford␈α∂Automatic
␈↓ α∧␈↓↓␈↓ β∧Photogrammetry Research␈↓, 15 pages, November 1974.  Cost: $2.15

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓255,␈α∩CS␈↓↓-␈↓473,␈α∩ADA005412/2WC,␈α∩Norihisa␈α⊃Suzuki,␈α∩␈↓↓Automatic␈α∩Program␈α∩Verification␈α⊃II:
␈↓ α∧␈↓↓␈↓ β∧Verifying Programs by Algebraic 256 Logical Reduction␈↓, 29 pages, December 1974.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓256,␈α∞CS␈↓↓-␈↓474,␈α∂ADA007563/0WC,␈α∞Friedrich␈α∂W.␈α∞V.Henke,␈α∂David␈α∞C.␈α∂Luckham,␈α∞␈↓↓Automatic
␈↓ α∧␈↓↓␈↓ β∧Program␈αVerification␈αIII:␈αA␈αMethodology␈αfor␈αVerifying␈αPrograms␈↓,,␈α45␈αpages,␈αDecember
␈↓ α∧␈↓␈↓ β∧1974.
␈↓ α∧␈↓␈↓α19␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓257,␈α∞CS␈↓↓-␈↓475,␈α∂ADA005407/2WC,␈α∞Malcolm␈α∂C.␈α∞Newey,␈α∞␈↓↓Formal␈α∂Semantics␈α∞of␈α∂LISP␈α∞With
␈↓ α∧␈↓↓␈↓ β∧Applications␈αto␈αProgram␈α
Correctness␈↓,␈αThesis:␈α Ph.D.␈α
in␈αComputer␈αScience,␈α184␈α
pages,
␈↓ α∧␈↓␈↓ β∧January 1975.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓258,␈α_CS␈↓↓-␈↓476,␈α→ADA006294/3WC,␈α_Cordell␈α_Green,␈α→David␈α_Barstow,␈α→␈↓↓A␈α_Hypothetical
␈↓ α∧␈↓↓␈↓ β∧Dialogue␈αExhibiting␈αa␈αKnowledge␈α
Base␈αfor␈αa␈αProgram-Underst&ing␈αSystem␈↓,␈α
38␈αpages,
␈↓ α∧␈↓␈↓ β∧January 1975.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓259,␈α∃CS␈↓↓-␈↓498,,␈α⊗Hanan␈α∃Samet,␈α∃␈↓↓Automatically␈α⊗Proving␈α∃the␈α∃Correctness␈α⊗of␈α∃Translations
␈↓ α∧␈↓↓␈↓ β∧Involving␈α∪Optimized␈α∪Code␈↓,␈α∪Thesis:␈α∀ PhD␈α∪in␈α∪Computer␈α∪Science,␈α∪214␈α∀pages,␈α∪May
␈↓ α∧␈↓␈↓ β∧1975.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓260,␈α∃CS␈↓↓-␈↓499,␈α∃ADA016811/2WC,␈α∃David␈α∀Canfield␈α∃Smith,␈α∃␈↓↓PYGMALION:␈α∃A␈α∀Creative
␈↓ α∧␈↓↓␈↓ β∧Programming␈α⊃Environment␈↓,␈α⊃Thesis:␈α⊃ PhD␈α⊃in␈α⊃Computer␈α⊃Science,␈α⊃193␈α∩pages,␈α⊃June
␈↓ α∧␈↓␈↓ β∧1975.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓261,␈α→CS␈↓↓-␈↓501,␈α→ADA016808/8WC,␈α→Odd␈α→Pettersen,␈α→␈↓↓Procedural␈α→Events␈α→as␈α_Software
␈↓ α∧␈↓↓␈↓ β∧Interrupts␈↓, 8 pages, June 1975.  Cost: $1.95

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓262,␈α≤CS␈↓↓-␈↓502,␈α≤ADA016810/4WC,␈α≤Odd␈α≤Pettersen,␈α≤␈↓↓Synchronization␈α≥of␈α≤Concurrent
␈↓ α∧␈↓↓␈↓ β∧Processes␈↓, 14 pages, July 1975.  Cost: $2.10

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓263,␈α∀CS␈↓↓-␈↓503,,␈α∪Odd␈α∀Pettersen,␈α∀␈↓↓The␈α∪Macro␈α∀Processing␈α∪System␈α∀STAGE2:␈α∀Transfer␈α∪of
␈↓ α∧␈↓↓␈↓ β∧Comments to the Generated Text␈↓, 20 pages, July 1975.  Cost: $2.25

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓264,␈α∩CS␈↓↓-␈↓506,,␈α∩Michael␈α⊃Gordon,␈α∩␈↓↓Operational␈α∩Reasoning␈α⊃&␈α∩Denotational␈α∩Semantics␈↓,␈α⊃33
␈↓ α∧␈↓␈↓ β∧pages, August 1975.  Cost: $2.65

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓265,␈α∩CS␈↓↓-␈↓507,,␈α⊃Michael␈α∩Gordon,␈α⊃␈↓↓Towards␈α∩a␈α⊃Semantic␈α∩Theory␈α⊃of␈α∩Dynamic␈α∩Binding␈↓,␈α⊃28
␈↓ α∧␈↓␈↓ β∧pages, August 1975.  Cost: $2.50

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓266,␈α
CS␈↓↓-␈↓517,␈α
ADA019641,␈α
R&all␈α
Davis,␈α
Bruce␈α
Buchanan,␈α
Edward␈α
Shortliffe,␈α
␈↓↓Production
␈↓ α∧␈↓↓␈↓ β∧Rules␈α⊂as␈α⊂a␈α⊂Representation␈α⊂for␈α⊂a␈α⊂Knowledge-Based␈α⊂Consultation␈α⊂Program␈↓,␈α⊂37␈α∂pages,
␈↓ α∧␈↓␈↓ β∧October l975.  Cost: $2.75

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓267,␈α
CS␈↓↓-␈↓520,␈α
ADA019664/2WC,␈α
Friedrich␈α
W.␈α
von␈α
Henke,␈α
␈↓↓On␈α
the␈α
Representation␈α
of␈α
Data
␈↓ α∧␈↓↓␈↓ β∧Structures␈α⊂in␈α⊂LCF␈α⊂with␈α⊂Applications␈α⊂to␈α⊂Program␈α⊂Generation␈↓,␈α⊂41␈α⊂pages,␈α∂September
␈↓ α∧␈↓␈↓ β∧l975.  Cost: $2.85

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓268,␈αCS␈↓↓-␈↓521,␈αADA019663/4WC,␈αClark␈αThompson,␈α␈↓↓Depth␈αPerception␈αin␈α
Stereo␈αComputer
␈↓ α∧␈↓↓␈↓ β∧Vision␈↓, 16 pages, October 1975.  Cost: $2.15

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓269,␈α_CS␈↓↓-␈↓522,␈α_ADA019569/3WC,␈α_David␈α↔C.␈α_Luckham,␈α_Norhisa␈α_Susuzki,␈α↔␈↓↓Automatic
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑20

␈↓"β␈↓ α∧␈↓↓␈↓ β∧Program␈α∞Verification␈α∞IV:␈α∞Proof␈α∞of␈α∞Termination␈α∞Within␈α∞a␈α∞Weak␈α∞Logic␈α∞of␈α∞Programs␈↓,␈α∞29
␈↓ α∧␈↓␈↓ β∧pages, October 1975.     Cost: $2.50

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓270,␈α∞CS␈↓↓-␈↓523,␈α∞ADA019467,␈α∞John␈α∞F.␈α∞Reiser,␈α∞␈↓↓BAIL␈α∞--␈α∞A␈α∞debugger␈α∞for␈α∞SAIL␈↓,␈α∞26␈α
pages,
␈↓ α∧␈↓␈↓ β∧October 1975.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓271,␈α
CS␈↓↓-␈↓524,␈α
ADA019702/0WC,␈α
R&all␈αDavid,␈α
Jonathan␈α
King,␈α
␈↓↓An␈α
Overview␈αof␈α
Production
␈↓ α∧␈↓↓␈↓ β∧Systems␈↓, 40 pages, October 1975.  Cost: $2.85

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓272,␈α
CS␈↓↓-␈↓525,,␈α
Sundaram␈α
Ganapathy,␈α
␈↓↓Reconstruction␈α
of␈α
Scenes␈α
Containing␈αPolyhedra␈α
From
␈↓ α∧␈↓↓␈↓ β∧Stereo␈α⊂Pair␈α⊂of␈α∂Views␈↓,␈α⊂Thesis:␈α⊂ Ph.D.␈α⊂in␈α∂Computer␈α⊂Science,␈α⊂204␈α⊂pages,␈α∂December
␈↓ α∧␈↓␈↓ β∧1975.  Cost: $7.40

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓273,␈α∀CS␈↓↓-␈↓534,,␈α∀Linda␈α∀Gail␈α∀Hemphill,␈α∀␈↓↓A␈α∀Conceptual␈α∀Approach␈α∀to␈α∃Automated␈α∀Language
␈↓ α∧␈↓↓␈↓ β∧Underst&ing␈α&␈αBelief␈αStructures:␈αwith␈αDisambiguation␈αof␈αthe␈αWord␈α`For'␈↓,␈αThesis:␈αPh.D.
␈↓ α∧␈↓␈↓ β∧in Linguistics, 254 pages, May 1975.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓274,␈α
CS␈↓↓-␈↓536,␈α
ADA020942/9WC,␈α
David␈α
Grossman,␈α
Russell␈α
Taylor,␈α␈↓↓Interactive␈α
Generation
␈↓ α∧␈↓↓␈↓ β∧of Object Models with a Manipulator␈↓, 32 pages, December 1975.  Cost: $2.60

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓275,␈α→CS␈↓↓-␈↓537,␈α→ADA020943/7WC,␈α→Robert␈α_C.␈α→Bolles,␈α→␈↓↓Verification␈α→Vision␈α→Within␈α_a
␈↓ α∧␈↓↓␈↓ β∧Programmable␈α∀Assembly␈α∀System:␈α∃An␈α∀Introductory␈α∀Discussion␈↓,␈α∀82␈α∃pages,␈α∀December
␈↓ α∧␈↓␈↓ β∧1975.  Cost: $4.00

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓276,␈α⊗CS␈↓↓-␈↓539,␈α⊗ADA021055/9WC,␈α↔Zohar␈α⊗Manna,␈α⊗Adi␈α↔Shamir,␈α⊗␈↓↓A␈α⊗New␈α↔Approach␈α⊗to
␈↓ α∧␈↓↓␈↓ β∧Recursive Programs␈↓, 25 pages, December 1975.  Cost: $2.40

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓277,␈α⊃CS␈↓↓-␈↓542,␈α⊂ADA027454,␈α⊃Zohar␈α⊂Manna,␈α⊃Adi␈α⊂Shamir,␈α⊃␈↓↓The␈α⊂Theoretical␈α⊃Aspects␈α⊃of␈α⊂the
␈↓ α∧␈↓↓␈↓ β∧Optimal Fixedpoint␈↓, 24 pages, March 1976.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓278,␈α→CS␈↓↓-␈↓549,␈α_ADA027455,␈α→David␈α→Luckham,␈α_Norihisa␈α→Suzuki,␈α→␈↓↓Automatic␈α_Program
␈↓ α∧␈↓↓␈↓ β∧Verification␈α⊃V:␈α⊃Verification-Oriented␈α⊃Proof␈α⊃Rules␈α⊂for␈α⊃Arrays,␈α⊃Records␈α⊃&␈α⊃Pointers␈↓,␈α⊂48
␈↓ α∧␈↓␈↓ β∧pages, March 1976.  Cost: $3.05

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓279,␈α⊃CS␈↓↓-␈↓552,,␈α⊃Norihsa␈α⊂Suzuki,␈α⊃␈↓↓Automatic␈α⊃Verification␈α⊂of␈α⊃Programs␈α⊃with␈α⊃Complex␈α⊂Data
␈↓ α∧␈↓↓␈↓ β∧Structures␈↓, Thesis:  Ph.D. in Computer Science, 194 pages, February 1976.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓280,␈α⊂CS␈↓↓-␈↓555,,␈α⊂David␈α⊂D.␈α⊂Grossman,␈α⊂␈↓↓Monte␈α⊂Carlo␈α⊂Simulation␈α⊂of␈α⊂Tolerancing␈α⊂in␈α⊂Discrete
␈↓ α∧␈↓↓␈↓ β∧Parts Manufacturing & Assembly␈↓, 25 pages, May 1976.  Cost: $2.40

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓281.1,␈αCS␈↓↓-␈↓558,␈α
AD␈↓↓-␈↓A042␈α507,␈αZohar␈α
Manna,␈αRichard␈α
Waldinger,␈α␈↓↓Is␈α`sometime'␈α
sometimes
␈↓ α∧␈↓↓␈↓ β∧better␈α
than␈α
`always'?␈α
 Intermittent␈α
assertions␈αin␈α
proving␈α
program␈α
correctness␈↓,␈α
41␈αpages,
␈↓ α∧␈↓␈↓ β∧June 1976, revised March 1977.  Cost: $2.85
␈↓ α∧␈↓␈↓α21␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓282,CS␈↓↓-␈↓560,,␈αRussell␈αTaylor,␈α␈↓↓Synthesis␈αof␈αManipulator␈αControl␈αPrograms␈αfrom␈αTask-level
␈↓ α∧␈↓↓␈↓ β∧Specifications␈↓,␈α∂Thesis:␈α∂Ph.D.␈α⊂in␈α∂Computer␈α∂Science,␈α⊂229␈α∂pages,␈α∂July␈α⊂1976.␈α∂ Cost:
␈↓ α∧␈↓␈↓ β∧$8.10

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓283,␈α⊂CS␈↓↓-␈↓552,,␈α⊂R&all␈α⊂Davis,␈α⊂␈↓↓Applications␈α∂of␈α⊂Meta␈α⊂Level␈α⊂Knowledge␈α⊂to␈α⊂the␈α∂Construction,
␈↓ α∧␈↓↓␈↓ β∧Maintenance␈α∞&␈α∞Use␈α∞of␈α∞Large␈α∂Knowledge␈α∞Bases␈↓,␈α∞Thesis:␈α∞Ph.D.␈α∞in␈α∂Computer␈α∞Science,
␈↓ α∧␈↓␈↓ β∧304 pages, July 1976.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓284,␈αCS␈↓↓-␈↓567,,␈α
Rafael␈αFinkel,␈α␈↓↓Constructing␈α
&␈αDebugging␈αManipulator␈α
Programs␈↓,␈α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,␈α∪␈↓↓Exploratory␈α∀Study␈α∪of
␈↓ α∧␈↓↓␈↓ β∧Computer Integrated Assembly Systems, Progress Report 3␈↓, 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,␈α⊃␈↓↓Exploratory␈α∩Study␈α∩of␈α⊃Computer
␈↓ α∧␈↓↓␈↓ β∧Integrated Assembly Systems, Progress Report 4␈↓, 255 pages, June 1977.  Cost: $8.85

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓286,␈α⊂CS␈↓↓-␈↓570,,␈α∂Douglas␈α⊂Lenat,␈α∂␈↓↓AM:␈α⊂An␈α∂Artificial␈α⊂Intelligence␈α∂Approach␈α⊂to␈α⊂Discovery␈α∂in
␈↓ α∧␈↓↓␈↓ β∧Mathematics␈α⊂as␈α⊂Heuristic␈α⊂Search␈↓,␈α⊂Thesis:␈α⊂Ph.D.␈α⊂in␈α⊂Computer␈α⊂Science,␈α⊂350␈α∂pages,
␈↓ α∧␈↓␈↓ β∧July 1976.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓287,␈α∞CS␈↓↓-␈↓571,,␈α∞Michael␈α∂Roderick,␈α∞␈↓↓Discrete␈α∞Control␈α∞of␈α∂a␈α∞Robot␈α∞Arm␈↓,␈α∞Thesis:␈α∂Engineer␈α∞in
␈↓ α∧␈↓␈↓ β∧Electrical Engineering, 98 pages, August 1976.  Cost: $4.45

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓288,␈α↔CS␈↓↓-␈↓572,,␈α↔Robert␈α↔Filman,␈α_Richard␈α↔Weyhrauch,␈α↔␈↓↓An␈α↔FOL␈α↔Primer␈↓,␈α_36␈α↔pages,
␈↓ α∧␈↓␈↓ β∧September 1976.  Cost: $2.70

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓289, CS␈↓↓-␈↓574,, John Reiser (ed.), ␈↓↓SAIL␈↓, 178 pages, August 1976.  Cost: $6.70

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓290,␈α⊂CS␈↓↓-␈↓575,␈α⊂AD␈↓↓-␈↓A042␈α⊂494,␈α⊂Nancy␈α⊂W.␈α⊂Smith,␈α⊂␈↓↓SAIL␈α⊂Tutorial␈↓,␈α⊂54␈α⊂pages,␈α∂November
␈↓ α∧␈↓␈↓ β∧1976.  Cost: $3.20

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓291,␈α∂CS␈↓↓-␈↓577,␈α∂AO44713,␈α∂Bruce␈α∂Buchanan,␈α∂Joshua␈α∂Lederberg,␈α∂John␈α⊂McCarthy,␈α∂␈↓↓Three
␈↓ α∧␈↓↓␈↓ β∧Reviews␈αof␈αJ.␈αWeizenbaum's␈αComputer␈αPower␈α&␈αHuman␈αReason␈↓,␈α28␈αpages,␈αNovember
␈↓ α∧␈↓␈↓ β∧1976.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓292,␈α⊃CS␈↓↓-␈↓580,,␈α⊃Terry␈α∩Winograd,␈α⊃␈↓↓Towards␈α⊃a␈α∩Procedural␈α⊃Underst&ing␈α⊃of␈α∩Semantics␈↓,␈α⊃30
␈↓ α∧␈↓␈↓ β∧pages, October 1976.  Cost: $2.55
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑22

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓293,␈αCS␈↓↓-␈↓581,␈αAD␈↓↓-␈↓A042␈α508,␈αDaniel␈αBobrow,␈αTerry␈αWinograd,␈α␈↓↓An␈αOverview␈αof␈αKRL␈↓,␈α40
␈↓ α∧␈↓␈↓ β∧pages, November 1976.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓294,␈α∪CS␈↓↓-␈↓586,␈α∪AD␈↓↓-␈↓A042␈α∀516,␈α∪Nachum␈α∪Dershowitz,␈α∀Zohar␈α∪Manna,␈α∪␈↓↓The␈α∀Evolution␈α∪of
␈↓ α∧␈↓↓␈↓ β∧Programs:␈αA␈αSystem␈αfor␈αAutomatic␈αProgram␈αModification␈↓,␈α45␈αpages,␈αDecember␈α1976.
␈↓ α∧␈↓␈↓ β∧Cost: $2.95

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓295,␈α∩CS␈↓↓-␈↓591,,␈α∩Robert␈α∩C.␈α∩Bolles,␈α⊃␈↓↓Verification␈α∩Vision␈α∩Within␈α∩a␈α∩Programmable␈α⊃Assembly
␈↓ α∧␈↓↓␈↓ β∧System␈↓,␈α⊂Thesis:␈α⊂Ph.D.␈α∂in␈α⊂Computer␈α⊂Science,␈α∂245␈α⊂pages,␈α⊂December␈α⊂1976.␈α∂ Cost:
␈↓ α∧␈↓␈↓ β∧$8.55

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓296,␈α⊂CS␈↓↓-␈↓592,,␈α⊂Robert␈α∂Cartwright,␈α⊂␈↓↓Practical␈α⊂Formal␈α∂Semantic␈α⊂Definition␈α⊂&␈α∂Verification
␈↓ α∧␈↓↓␈↓ β∧Systems␈↓,␈α∂Thesis:␈α∞Ph.D.␈α∂in␈α∞Computer␈α∂Science,␈α∞158␈α∂pages,␈α∞December␈α∂1976.␈α∞ Cost:
␈↓ α∧␈↓␈↓ β∧$6.15

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓297,␈α
CS␈↓↓-␈↓610,,␈α
Terry␈αWinograd,␈α
␈↓↓A␈α
Framework␈α
for␈αUnderst&ing␈α
Discourse␈↓,␈α
24␈αpages,␈α
April
␈↓ α∧␈↓␈↓ β∧1977.

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓298,␈α⊂CS␈↓↓-␈↓611,␈α∂ADA046703,␈α⊂Zohar␈α⊂Manna,␈α∂Richard␈α⊂Waldinger,␈α∂␈↓↓The␈α⊂Logic␈α⊂of␈α∂Computer
␈↓ α∧␈↓↓␈↓ β∧Programming␈↓, 90 pages, June 1977.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓299,␈αCS␈↓↓-␈↓614,,␈αZohar␈αManna,␈αAdi␈αShamir,␈α␈↓↓The␈αConvergence␈αof␈αFunctions␈αto␈αFixedpoints␈αof
␈↓ α∧␈↓↓␈↓ β∧Recursive Definitions␈↓, 45 pages, May 1977.  Cost: $2.95

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓300,␈αCS␈↓↓-␈↓617,,␈αTerry␈αWinograd,␈α␈↓↓On␈αsome␈αContested␈αSuppositions␈αof␈αGenerative␈αLinguistics
␈↓ α∧␈↓↓␈↓ β∧about the Scientific Study of Language␈↓, 25 pages, May 1977.

␈↓"β␈↓ α∧␈↓*AIM␈↓↓-␈↓301,␈αCS␈↓↓-␈↓624,␈αADA044231,␈α
Lester␈αEarnest,␈αet.␈αal.,␈α
␈↓↓Recent␈αResearch␈αin␈αComputer␈α
Science␈↓,
␈↓ α∧␈↓␈↓ β∧118 pages, June 1977.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓302,␈α∂CS␈↓↓-␈↓630,␈α∂Zohar␈α∂Manna,␈α∂Richard␈α∂Waldinger␈α∂␈↓↓Synthesis:␈α∂ Dreams␈α∂=>␈α∂Programs␈↓,␈α∞119
␈↓ α∧␈↓␈↓ β∧pages, October 1977.  Cost: $5.05

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓303,␈α∪CS␈↓↓-␈↓631,␈α∀ADA050806,␈α∪Nachum␈α∀Dershowitz,␈α∪Zohar␈α∀Manna,␈α∪␈↓↓Inference␈α∀Rules␈α∪for
␈↓ α∧␈↓↓␈↓ β∧Program Annotation␈↓, 46 pages, October 1977.

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓304,␈α⊗CS␈↓↓-␈↓632,␈α↔ADA048684,␈α⊗Todd␈α↔Wagner,␈α⊗␈↓↓Hardware␈α↔Verification␈↓,␈α⊗Thesis:␈α↔PhD␈α⊗in
␈↓ α∧␈↓␈↓ β∧Computer Science, 102 pages, September 1977.  Cost: $4.55

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓305,␈α∂CS␈↓↓-␈↓633,␈α∞ADA048660,␈α∂William␈α∂Faught,␈α∞␈↓↓Motivation␈α∂&␈α∞Intensionality␈α∂in␈α∂a␈α∞Computer
␈↓ α∧␈↓↓␈↓ β∧Simulation␈α∀Model␈↓,␈α∃Thesis:␈α∀Ph.D.␈α∀in␈α∃Computer␈α∀Science,␈α∀104␈α∃pages,␈α∀September
␈↓ α∧␈↓␈↓ β∧1977.  Cost: $4.60
␈↓ α∧␈↓␈↓α23␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓306,␈α∃CS␈↓↓-␈↓639,␈α∃ADA053175,␈α∃Cordell␈α⊗Green,␈α∃David␈α∃Barstow,␈α∃␈↓↓On␈α⊗Program␈α∃Synthesis
␈↓ α∧␈↓↓␈↓ β∧Knowledge␈↓, 63 pages, November 1977.  Cost: $3.45

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓307,␈αCS␈↓↓-␈↓640,␈α
ADA053176,␈αZohar␈α
Manna␈α&␈α
Richard␈αWaldinger,␈α␈↓↓Structured␈α
Programming
␈↓ α∧␈↓↓␈↓ β∧Without Recursion␈↓, 10 pages, December 1977.  Cost: $2.00

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓308,␈α
CS␈↓↓-␈↓641,␈α
ADA053184,␈α
David␈α
Barstow,␈α
␈↓↓Automatic␈α
Construction␈α
of␈αAlgorithms␈↓,␈α
Thesis:
␈↓ α∧␈↓␈↓ β∧Ph.D. in Computer Science, 220 pages, December 1977.  Cost: $7.85

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓309,␈α∀CS␈↓↓-␈↓646,,␈α∀C.␈α∪G.␈α∀Nelson,␈α∀Derek␈α∀Oppen,␈α∪␈↓↓Efficient␈α∀Decision␈α∀Procedures␈α∀Based␈α∪on
␈↓ α∧␈↓↓␈↓ β∧Congruence Closure␈↓, 15 pages, January 1978.  Cost: $2.15

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓310,␈α
CS␈↓↓-␈↓651,,␈α
Nachum␈α
Dershowitz␈α∞&␈α
Zohar␈α
Manna,␈α
␈↓↓Proving␈α
Termination␈α∞with␈α
Multiset
␈↓ α∧␈↓↓␈↓ β∧Orderings␈↓, 30 pages, March 1978.  Cost: $2.50

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓311,␈α∂CS␈↓↓-␈↓652,,␈α∂Greg␈α∂Nelson␈α∂&␈α∞Derek␈α∂C.␈α∂Oppen,␈α∂␈↓↓Simplification␈α∂by␈α∂Cooperating␈α∞Decision
␈↓ α∧␈↓↓␈↓ β∧Procedures␈↓, 20 pages, April 1978.  Cost: $2.25

␈↓"β␈↓ α∧␈↓␈↓↓+␈↓AIM␈↓↓-␈↓312,␈α∩John␈α∩McCarthy,␈α∩Masahiko␈α∩Sato,␈α∩Takeshi␈α∩Hayashi␈α∩&␈α∩Shigeru␈α∩Igarashi,␈α∩␈↓↓On␈α⊃the
␈↓ α∧␈↓↓␈↓ β∧Model Theory of Knowledge␈↓, 12 pages, May 1978.  Cost: $2.00

␈↓"β␈↓ α∧␈↓␈↓↓⊗␈↓AIM␈↓↓-␈↓313,␈α⊂CS␈↓↓-␈↓560,,␈α∂Bruce␈α⊂E.␈α∂Shimano,␈α⊂␈↓↓The␈α∂Kinematic␈α⊂Design␈α∂&␈α⊂Force␈α∂Control␈α⊂of␈α∂Computer
␈↓ α∧␈↓↓␈↓ β∧Controlled Manipulators␈↓, Thesis, 135 pages, May 1978.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑24

␈↓"β␈↓ α∧␈↓␈↓ ε"␈↓αAPPENDIX B

␈↓"β␈↓ α∧␈↓α␈↓ ∧→HEURISTIC PROGRAMMING PROJECT MEMOS␈↓

␈↓"β␈↓ α∧␈↓    There are six informal groups within the Heuristic Programming Project.
␈↓"β␈↓ α∧␈↓␈↓ αTKnowledge␈↓↓-␈↓Based Consultation Systems (MYCIN)
␈↓"β␈↓ α∧␈↓␈↓ αTMOLGEN
␈↓"β␈↓ α∧␈↓␈↓ αTProtein␈↓↓-␈↓Crystallography
␈↓"β␈↓ α∧␈↓␈↓ αTHydroid
␈↓"β␈↓ α∧␈↓␈↓ αTDENDRAL
␈↓"β␈↓ α∧␈↓␈↓ αTMeta␈↓↓-␈↓DENDRAL


␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓64␈↓↓-␈↓1,␈α∞J.␈α∞Lederberg,␈α∞␈↓↓DENDRAL-64-A␈α
System␈α∞for␈α∞Computer␈α∞Construction,␈α∞Enumeration␈α
&
␈↓ α∧␈↓↓␈↓ β∧Notation␈αof␈αOrganic␈αMolecules␈αas␈αThree␈αStructures␈α&␈αCyclic␈αGraphs␈↓␈α(technical␈αreports
␈↓ α∧␈↓␈↓ β∧to NASA, also available from the author & summarized in HPP␈↓↓-␈↓68␈↓↓-␈↓1).

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓64␈↓↓-␈↓2,␈α≤J.␈α≤Ledergerg,␈α≤␈↓↓Computation␈α≤of␈α≤Molecular␈α≤Formulas␈α≤for␈α≤Mass␈α≤Spectrometry␈↓,
␈↓ α∧␈↓␈↓ β∧Proceedings National Academy Science, 53, 1, 1965, p.134.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓65␈↓↓-␈↓1, J. Lederberg, ␈↓↓Topological Mapping of Organic Molecules␈↓, NASA CR␈↓↓-␈↓48899, 1965.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓65␈↓↓-␈↓2,␈α
J.␈αLederberg,␈α
␈↓↓Systematics␈αof␈α
Organic␈αMolecules,␈α
Graph␈αTopology␈α
&␈αHamilton␈α
Circuits.
␈↓ α∧␈↓↓␈↓ β∧General outline of the DENDRAL system.␈↓  April 1965.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓65␈↓↓-␈↓3,␈α⊃Edward␈α⊃A.␈α⊃Feigenbaum␈α⊃&␈α⊃Richard␈α⊃W.␈α⊃Watson,␈α⊃AIM␈↓↓-␈↓30,␈α⊃AD785056,␈α⊃␈↓↓An␈α⊂Initial
␈↓ α∧␈↓↓␈↓ β∧Problem␈α⊃Statement␈α⊂for␈α⊃a␈α⊃Machine␈α⊂Induction␈α⊃Research␈α⊂Project␈↓␈α⊃(working␈α⊃paper),␈α⊂April
␈↓ α∧␈↓␈↓ β∧1965.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓66␈↓↓-␈↓1,␈αDonald␈αA.␈αWaterman,␈αAIM␈↓↓-␈↓38,␈αAD785066,␈α␈↓↓A␈αFilter␈αfor␈αa␈αMachine␈αInduction␈αSystem␈↓
␈↓ α∧␈↓␈↓ β∧(working paper), January 1966.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓66␈↓↓-␈↓2,␈α!Steffan␈α!Persson,␈α!STAN␈↓↓-␈↓CS␈↓↓-␈↓66␈↓↓-␈↓50,␈α!AIM␈↓↓-␈↓46,␈α!PB176761,␈α!␈↓↓Some␈α Sequence
␈↓ α∧␈↓↓␈↓ β∧Extrapolating␈α⊃Programs:␈α⊃a␈α⊃study␈α⊃of␈α⊃representation␈α⊃&␈α⊃modeling␈α⊃in␈α∩inquiring␈α⊃systems␈↓,
␈↓ α∧␈↓␈↓ β∧Ph.D. Thesis in Computer Science, (U.C. Berkeley, September 1966).

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓66␈↓↓-␈↓3,␈αBruce␈αBuchanan,␈αAIM␈↓↓-␈↓47,␈α␈↓↓Logics␈α
of␈αScientific␈αDiscovery␈↓,␈αPh.D.␈α Thesis␈αin␈α
Philosophy
␈↓ α∧␈↓␈↓ β∧(Michigan State University, December 1966).
␈↓ α∧␈↓␈↓α25␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓67␈↓↓-␈↓1,␈α∂Georgia␈α∂Sutherl&,␈α∂AIM␈↓↓-␈↓49,␈α∂␈↓↓DENDRAL␈α⊂-␈α∂a␈α∂Computer␈α∂Program␈α∂for␈α⊂Generating␈α∂&
␈↓ α∧␈↓↓␈↓ β∧Filtering Chemical Structures␈↓ (working paper), February 1967.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓67␈↓↓-␈↓2,␈α∞J.␈α∂Lederberg,␈α∞␈↓↓Hamilton␈α∂Circuits␈α∞of␈α∞Convex␈α∂Trivalent␈α∞Polyhedra␈α∂(up␈α∞to␈α∂18␈α∞vertices)␈↓,
␈↓ α∧␈↓␈↓ β∧American Mathematics Monthly, 74, 5, 1967.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓67␈↓↓-␈↓3,␈α∞Joshua␈α∞Lederberg␈α∞&␈α∞Edward␈α
A.␈α∞Feigenbaum,␈α∞AIM␈↓↓-␈↓54,␈α∞␈↓↓Mechanization␈α∞of␈α
Inductive
␈↓ α∧␈↓↓␈↓ β∧Inference␈α∂in␈α∂Organic␈α∂Chemistry␈↓,␈α⊂in␈α∂B.␈α∂Kleinmuntz␈α∂(ed.),␈α∂Formal␈α⊂Representations␈α∂for
␈↓ α∧␈↓␈↓ β∧Human Judgment, New York:Wiley, 1968.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓68␈↓↓-␈↓1,␈αEdward␈αFeigenbaum,␈αGeorgia␈αSutherl&␈α&␈αBruce␈αBuchanan,␈α
␈↓↓Heuristic␈αDENDRAL:
␈↓ α∧␈↓↓␈↓ β∧A␈α↔Program␈α↔for␈α↔Generating␈α↔Explantory␈α⊗Hypothesis␈α↔in␈α↔Organic␈α↔Chemistry␈↓,␈α↔in␈α⊗B.K.
␈↓ α∧␈↓␈↓ β∧Kinariwala␈α
&␈α
F.F.␈α
Kuo␈α
(eds.),␈α
Proceedings␈α
of␈α
the␈α
Hawaii␈α∞International␈α
Conference
␈↓ α∧␈↓␈↓ β∧on System Sciences, January 1968.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓68␈↓↓-␈↓2,␈αJ.␈αLederberg,␈α
␈↓↓Online␈αComputation␈αof␈αMolecular␈α
Formulas␈αfrom␈αMass␈α
Number␈↓,␈αNASA
␈↓ α∧␈↓␈↓ β∧CR␈↓↓-␈↓94977, 1968.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓68␈↓↓-␈↓3,␈α⊗Bruce␈α⊗G.␈α⊗Buchanan,␈α⊗Georgia␈α⊗Sutherlnd␈α⊗&␈α⊗Edward␈α⊗A.␈α⊗Feigenbaum,␈α∃AIM␈↓↓-␈↓62,
␈↓ α∧␈↓␈↓ β∧␈↓↓Heuristic␈α⊃DENDRAL:␈α⊂A␈α⊃Program␈α⊂for␈α⊃Generating␈α⊂Explantory␈α⊃Hypotheses␈α⊃in␈α⊂Organic
␈↓ α∧␈↓↓␈↓ β∧Chemistry␈↓,␈α#in␈α#B.␈α#Melzer␈α#&␈α"D.␈α#Michie␈α#(eds.),␈α#Machine␈α#Intelligence␈α"4,
␈↓ α∧␈↓␈↓ β∧Edinburgh:Edinburgh University Press, 1969.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓68␈↓↓-␈↓4,␈α∞Edward␈α∞A.␈α∞Feigenbaum,␈α∞AIM␈↓↓-␈↓67,␈α∞AD680487,␈α∞␈↓↓Artificial␈α∞Intelligence:␈α∞Themes␈α∞in␈α∞the
␈↓ α∧␈↓↓␈↓ β∧Second␈α_Decade␈↓,␈α_in␈α_Final␈α_Supplement␈α_to␈α_Proceedings␈α_of␈α→IFIP␈↓↓-␈↓68␈α_International
␈↓ α∧␈↓␈↓ β∧Congress, Edinburgh, August 1968.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓68␈↓↓-␈↓5,␈α∂Donald␈α∂Waterman,␈α∂AIM␈↓↓-␈↓74,␈α∂STAN␈↓↓-␈↓CS␈↓↓-␈↓68␈↓↓-␈↓118,␈α∂AD681027,␈α∂␈↓↓Machine␈α∂Learning␈α∂of
␈↓ α∧␈↓↓␈↓ β∧Heuristics␈↓,␈α∃Ph.D.␈α∃Thesis␈α⊗in␈α∃Computer␈α∃Science␈α∃(Stanford␈α⊗University,␈α∃December
␈↓ α∧␈↓␈↓ β∧1968).



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓1,␈α∂Georgia␈α∂Sutherl&,␈α∞AIM␈↓↓-␈↓80,␈α∂AD685612,␈α∂␈↓↓Heuristic␈α∞DENDRAL:␈α∂a␈α∂Family␈α∂of␈α∞LISP
␈↓ α∧␈↓↓␈↓ β∧Programs␈↓ (working paper), March 1969.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓2,␈α∃Bruce␈α∃G.␈α⊗Buchanan,␈α∃G.L.␈α∃Sutherl&␈α∃&␈α⊗E.A.␈α∃Feigenbaum,␈α∃AIM␈↓↓-␈↓99,␈α⊗␈↓↓Toward␈α∃an
␈↓ α∧␈↓↓␈↓ β∧Underst&ing␈α∞of␈α
Information␈α∞Processes␈α∞of␈α
Scientific␈α∞Inference␈α∞in␈α
the␈α∞Context␈α∞of␈α
Organic
␈↓ α∧␈↓↓␈↓ β∧Chemistry␈↓,␈α"in␈α!B.␈α"Meltzer␈α"&␈α!D.␈α"Michie␈α!(eds.),␈α"Machine␈α"Intelligence␈α!5,
␈↓ α∧␈↓␈↓ β∧Edinburgh:Edinburgh University Press, 1970.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑26

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓3,␈α
Donald␈α
A.␈α
Waterman,␈α
AIM␈↓↓-␈↓102,␈α
␈↓↓Generalization␈α
Learning␈α
Techniques␈α
for␈αAutomating
␈↓ α∧␈↓↓␈↓ β∧the Learning of Heuristics␈↓, in Artificial Intelligence, 1, 121, July 1969.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓4,␈α∂Joshua␈α∞Lederberg,␈α∂Georgia␈α∂Sutherl&␈α∞&␈α∂Bruce␈α∞G.␈α∂Buchanan,␈α∂AIM␈↓↓-␈↓104,␈α∞␈↓↓Inference
␈↓ α∧␈↓↓␈↓ β∧Problem:␈αSummary␈αof␈αMotivation␈α&␈αImplementation␈↓,␈αin␈αR.␈αBanerji␈α&␈αMesarovic␈α(eds.),
␈↓ α∧␈↓␈↓ β∧Theoretical␈α8Approaches␈α8to␈α8Non␈↓↓-␈↓Numerical␈α8Problem␈α8Solving,␈α8New
␈↓ α∧␈↓␈↓ β∧York:Springer␈↓↓-␈↓Verlag, 1970.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓5,␈αJ.␈αLederberg,␈α␈↓↓Topology␈αof␈αMolecules␈↓,␈αin␈αThe␈αMathematical␈αSciences␈α␈↓↓-␈↓␈αA␈αCollection
␈↓ α∧␈↓␈↓ β∧of␈α⊃Essays,␈α⊃edited␈α⊃by␈α⊃the␈α⊃Nationl␈α⊃Research␈α⊃Council's␈α⊃Committee␈α⊃on␈α⊃Support␈α⊃of
␈↓ α∧␈↓␈↓ β∧Research␈α∞in␈α∞the␈α∂Mathematical␈α∞Sciences␈α∞(COSRIMS),␈α∞Cambridge,␈α∂Mass.:The␈α∞M.I.T.
␈↓ α∧␈↓␈↓ β∧Press, 1969, p.37.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓6,␈α
J.␈α
Lederberg,␈α
G.L.␈α
Sutherl&,␈αB.G.␈α
Buchanan,␈α
E.A.␈α
Feigenbaum,␈α
A.V.␈αRobertson,␈α
A.M.
␈↓ α∧␈↓␈↓ β∧Duffield␈α
&␈α
C.␈α
Djerassi,␈α
␈↓↓Applications␈α
of␈α
Artificial␈α
Intelligence␈α
for␈α
Chemical␈α
Inference␈αI.
␈↓ α∧␈↓↓␈↓ β∧The␈α
Number␈α
of␈α
Possible␈α
Organic␈α
Compounds:␈α
Acyclic␈α
Structures␈α
Containing␈α
C,␈α
H,␈α
O␈α
&␈α
N␈↓,
␈↓ α∧␈↓␈↓ β∧Journal of the American Chemical Society, 91, 2973, 1969.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓7,␈α∩A.M.␈α∩Duffield,␈α∩A.V.␈α∩Robertson,␈α∩C.␈α∩Djerassi,␈α∩B.G.␈α∩Buchanan␈α∩G.L.␈α∩Sutherl&,␈α∩E.A.
␈↓ α∧␈↓␈↓ β∧Feigenbaum␈α↔&␈α_J.␈α↔Lederberg,␈α_␈↓↓Application␈α↔of␈α_Artificial␈α↔Intelligence␈α_for␈α↔Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈αII.␈α Interpretation␈αof␈αLow␈αResolution␈αMass␈αSpectra␈αof␈αKetones␈↓,␈αJournal␈αof␈αthe
␈↓ α∧␈↓␈↓ β∧American Chemical Society, 91, 11 May 1969.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓8,␈α∪C.W.␈α∪Chruchman␈α∪&␈α∪B.G.␈α∪Buchanan,␈α∪␈↓↓On␈α∪the␈α∪Design␈α∪of␈α∪Inductive␈α∀Systems:␈α∪Some
␈↓ α∧␈↓↓␈↓ β∧Philosophical␈α∪Problems␈↓,␈α∪British␈α∩Journal␈α∪for␈α∪the␈α∩Philosophy␈α∪of␈α∪Science,␈α∪20,␈α∩311,
␈↓ α∧␈↓␈↓ β∧1969.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓69␈↓↓-␈↓9,␈α_G.␈α↔Schroll,␈α_A.M.␈α↔Duffield,␈α_C.␈α↔Djerassi,␈α_B.G.␈α↔Buchanan,␈α_G.L.␈α_Sutherl&,␈α↔E.A.
␈↓ α∧␈↓␈↓ β∧Feigenbaum␈α↔&␈α_J.␈α↔Lederberg,␈α_␈↓↓Application␈α↔of␈α_Artificial␈α↔Intelligence␈α_for␈α↔Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α⊂III.␈α⊃ Aliphatic␈α⊂Ethers␈α⊂Diagnosed␈α⊃by␈α⊂Their␈α⊂Low␈α⊃Resolution␈α⊂Mass␈α⊃Spectra␈α⊂&
␈↓ α∧␈↓↓␈↓ β∧NMR Data␈↓, Journal of the American Chemical Society, 91, 7440, 1969.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓70␈↓↓-␈↓1,␈αA.␈αBuchs,␈αA.B.␈α
Delfino,␈αC.␈αDjerassi,␈αA.M.␈α
Duffield,␈αB.G.␈αBuchanan,␈αE.A.␈α
Feigenbaum,
␈↓ α∧␈↓␈↓ β∧J.␈α
Lederberg␈α&␈α
G.␈α
Schroll,␈α␈↓↓Application␈α
of␈α
Artificial␈αIntelligence␈α
for␈α
Chemical␈αinference
␈↓ α∧␈↓↓␈↓ β∧IV.␈α⊃ Saturated␈α∩Amines␈α⊃Diagnosed␈α⊃by␈α∩Their␈α⊃Los␈α⊃Resolution␈α∩Mass␈α⊃Spectra␈α∩&␈α⊃Nuclear
␈↓ α∧␈↓↓␈↓ β∧Magnetic␈α
Resonance␈α∞Spectra␈↓,␈α
Journal␈α∞of␈α
the␈α
American␈α∞Chemical␈α
Society,␈α∞92,␈α
6831,
␈↓ α∧␈↓␈↓ β∧1970.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓70␈↓↓-␈↓2,␈α∀Bruce␈α∀G.␈α∀Buchanan␈α∀&␈α∀Thomas␈α∀E.␈α∀Hedrick,␈α∀AIM␈↓↓-␈↓123,␈α∀␈↓↓Some␈α∃Speculation␈α∀About
␈↓ α∧␈↓↓␈↓ β∧Artificial␈α∞Intelligence␈α∞&␈α∞Legal␈α∞Reasoning␈↓,␈α∞Stanford␈α∞Law␈α∞Review,␈α∞23,␈α∞40,␈α
November
␈↓ α∧␈↓␈↓ β∧1970.
␈↓ α∧␈↓␈↓α27␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓70␈↓↓-␈↓3,␈α⊂Y.M.␈α⊂Sheikh,␈α⊂A.␈α∂Buchs,␈α⊂A.B.␈α⊂Delfino,␈α⊂G.␈α∂Schroll,␈α⊂A.M.␈α⊂Duffield,␈α⊂C.␈α⊂Djerassi,␈α∂B.G.
␈↓ α∧␈↓␈↓ β∧Buchanan,␈αG.L.␈α
Sutherl&,␈αE.A.␈α
Feigenbaum␈α&␈αJ.␈α
Lederberg,␈α␈↓↓Applications␈α
of␈αArtificial
␈↓ α∧␈↓↓␈↓ β∧Intelligence␈αfor␈αChemical␈αInference␈αV.␈α An␈αApproach␈αto␈αthe␈αComputer␈αGeneration␈αof␈αCyclic
␈↓ α∧␈↓↓␈↓ β∧Structures.␈α⊂ Differentiation␈α⊃Between␈α⊂All␈α⊂The␈α⊃Possible␈α⊂Isomeric␈α⊂Ketones␈α⊃of␈α⊂Composition
␈↓ α∧␈↓↓␈↓ β∧C6H10O␈↓, Organic Mass Spectrometry, 4, 493, 1970.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓70␈↓↓-␈↓4,␈αA.␈αBuchs,␈αA.B.␈αDelfino,␈αA.M.␈αDuffield,␈αC.␈αDjerassi,␈αB.G.␈αBuchanan,␈αE.A.␈αFeigenbaum
␈↓ α∧␈↓␈↓ β∧&␈α∃J.␈α∃Lederberg,␈α∃␈↓↓Applications␈α∃of␈α∃Artificial␈α∃Intelligence␈α∃for␈α∃Chemical␈α∃Inference␈α∀VI.
␈↓ α∧␈↓↓␈↓ β∧Approach␈α⊃to␈α⊂a␈α⊃General␈α⊂Method␈α⊃of␈α⊂Interpreting␈α⊃Low␈α⊂Resolution␈α⊃Mass␈α⊂Spectra␈α⊃with␈α⊂a
␈↓ α∧␈↓↓␈↓ β∧Computer␈↓, Helvetica Chimica Acta, 53, 1394, 1970.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓70␈↓↓-␈↓5,␈α∀Edward␈α∀A.␈α∀Feigenbaum,␈α∀Bruce␈α∀G.␈α∀Buchanan␈α∀&␈α∀Joshua␈α∀Lederberg,␈α∀AIM␈↓↓-␈↓131,
␈↓ α∧␈↓␈↓ β∧STAN␈↓↓-␈↓CS␈↓↓-␈↓70␈↓↓-␈↓176,␈α
AD715128,␈α␈↓↓On␈α
Gererality␈α&␈α
Problem␈αSolving:␈α
a␈αCase␈α
Study␈αUsing
␈↓ α∧␈↓↓␈↓ β∧the␈α
DENDRAL␈α
Program␈↓,␈α
in␈α
B.␈α
Meltzer␈α
&␈α
D.␈α
Michie␈α
(eds.),␈α
Machine␈α
Intelligence␈α6,
␈↓ α∧␈↓␈↓ β∧Edinburgh:Edinburgh University Press, 1971.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓71␈↓↓-␈↓1,␈αA.␈αBuchs,␈αA.B.␈α
Delfino,␈αC.␈αDjerassi,␈αA.M.␈α
Duffield,␈αB.G.␈αBuchanan,␈αE.A.␈α
Feigenbaum,
␈↓ α∧␈↓␈↓ β∧J.␈α∩Lederberg,␈α∩G.␈α∩Schroll␈α∩&␈α⊃G.L.␈α∩Sutherl,␈α∩␈↓↓Applications␈α∩of␈α∩Artificial␈α∩Intelligence␈α⊃for
␈↓ α∧␈↓↓␈↓ β∧Chemical␈α
Inference␈αVII.␈α
 The␈αApplication␈α
of␈αArtificial␈α
Intelligence␈αin␈α
the␈αInterpretation␈α
of
␈↓ α∧␈↓↓␈↓ β∧Low-Resolution Mas Spectra␈↓, Advances in Mass Spectrometry, 5, 314, 1971.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓71␈↓↓-␈↓2,␈α≡Bruce␈α∨G.␈α≡Buchanan␈α≡&␈α∨Joshua␈α≡Lederberg,␈α∨AIM␈↓↓-␈↓147,␈α≡STAN␈↓↓-␈↓CS␈↓↓-␈↓71␈↓↓-␈↓216,
␈↓ α∧␈↓␈↓ β∧AD732457,␈α⊃␈↓↓The␈α∩Heuristic␈α⊃DENDRAL␈α⊃Program␈α∩for␈α⊃Explaining␈α⊃Empirical␈α∩Data␈↓,␈α⊃in
␈↓ α∧␈↓␈↓ β∧Proceedings of the IFIP Congress 71, Ljubljan, Yugoslavia, February 1971.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓71␈↓↓-␈↓3,␈α≠Robert␈α≠E.␈α≠Kling,␈α≤AIM␈↓↓-␈↓147,␈α≠STAN␈↓↓-␈↓CS␈↓↓-␈↓71␈↓↓-␈↓216,␈α≠␈↓↓Reasoning␈α≠by␈α≤Analogy␈α≠with
␈↓ α∧␈↓↓␈↓ β∧Applications␈α∂to␈α∞Heuristic␈α∂Problem␈α∞Solving:␈α∂ a␈α∞Case␈α∂Study␈↓,␈α∞Ph.D.␈α∂ Thesis␈α∂in␈α∞Computer
␈↓ α∧␈↓␈↓ β∧Science, August 1971.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓71␈↓↓-␈↓4,␈α≠B.G.␈α~Buchanan,␈α≠E.A.␈α~Feigenbaum␈α≠&␈α~J.␈α≠Lederberg,␈α~AIM␈↓↓-␈↓145,␈α≠␈↓↓A␈α~Heuristic
␈↓ α∧␈↓↓␈↓ β∧Programming␈α∂Study␈α∂of␈α∂Theory␈α∂Formation␈α⊂in␈α∂Science␈↓,␈α∂in␈α∂Proceedings␈α∂of␈α⊂the␈α∂Second
␈↓ α∧␈↓␈↓ β∧International␈α∞Joint␈α∞Conference␈α∞on␈α∞Artificial␈α∞Intelligence,␈α∞Imperial␈α∞College,␈α∞London,
␈↓ α∧␈↓␈↓ β∧1971.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓71␈↓↓-␈↓5,␈α∃B.G.␈α∃Buchanan,␈α∃A.M.␈α∃Duffield␈α∃&␈α∃A.V.␈α∃Robertson,␈α∃␈↓↓An␈α∃Application␈α∃of␈α∃Artificial
␈↓ α∧␈↓↓␈↓ β∧Intelligence␈α∃to␈α∃the␈α∃Interpretation␈α∃of␈α∃Mass␈α∃Spectra␈↓,␈α∃in␈α∃G.W.A.␈α∃ Milne␈α⊗(ed.),␈α∃Mass
␈↓ α∧␈↓␈↓ β∧Spectrometry Techniques & Applications, New York:Wiley, 1971, p.21.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑28

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓72␈↓↓-␈↓1,␈α
D.H.␈αSmith,␈α
B.G.␈αBuchanan,␈α
R.S.␈α
Engelmore,␈αA.M.␈α
Duffield,␈αA.␈α
Yeo,␈αE.A.␈α
Feigenbaum,
␈↓ α∧␈↓␈↓ β∧J.␈α⊗Lederberg␈α⊗&␈α⊗C.␈α⊗Djerassi,␈α⊗␈↓↓Applications␈α⊗of␈α⊗Artificial␈α⊗Intelligence␈α⊗for␈α⊗Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α⊃VIII.␈α⊂ An␈α⊃Approach␈α⊃to␈α⊂the␈α⊃Computer␈α⊃Interpretation␈α⊂of␈α⊃the␈α⊃High␈α⊂Resolution
␈↓ α∧␈↓↓␈↓ β∧Mass␈α∃Spectra␈α∃of␈α∀Complex␈α∃Molecules.␈α∃ Structure␈α∀Elucidation␈α∃of␈α∃Estrogenic␈α∀Steroids␈↓,
␈↓ α∧␈↓␈↓ β∧Journal of the American Chemical Society, 94, 5962, 1972.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓72␈↓↓-␈↓2,␈α⊃B.G.␈α⊃Buchanan,␈α⊃E.Z.␈α⊃Feigenbaum␈α⊃&␈α⊃N.S.␈α⊃Sridharan,␈α⊃␈↓↓Heuristic␈α⊃Theory␈α⊂Formation:
␈↓ α∧␈↓↓␈↓ β∧Data␈α⊃Interpretation␈α⊃&␈α∩Rule␈α⊃Formation␈↓,␈α⊃In␈α⊃B.␈α∩Meltzer␈α⊃&␈α⊃D.␈α⊃Michi␈α∩(eds.),␈α⊃Machine
␈↓ α∧␈↓␈↓ β∧Intelligence 7, Edinburgh:Edinburgh University Press, 1972.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓72␈↓↓-␈↓3,␈αBruce␈αG.␈αBuchanan,␈αAIM␈↓↓-␈↓181,␈α
STAN␈↓↓-␈↓CS␈↓↓-␈↓72␈↓↓-␈↓325,␈α␈↓↓Review␈αof␈αHubert␈αDreyfus'␈α
"What
␈↓ α∧␈↓↓␈↓ β∧Computers␈α⊃Can't␈α⊂Do":␈α⊃a␈α⊂Critique␈α⊃of␈α⊂Artificial␈α⊃Reason␈↓,␈α⊂Computing␈α⊃Reviews,␈α⊂January
␈↓ α∧␈↓␈↓ β∧1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓72␈↓↓-␈↓4,␈α
J.␈α
Lederberg,␈α
␈↓↓Rapid␈α
Calculation␈α
of␈α
Molecular␈α
Formulas␈α
from␈α
Mass␈α
Values␈↓,␈α
Journal␈α
of
␈↓ α∧␈↓␈↓ β∧Chemical Education, 49, 613, 1972.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓72␈↓↓-␈↓5,␈α∃Joshua␈α⊗Lederberg,␈α∃␈↓↓Use␈α∃of␈α⊗a␈α∃Computer␈α∃to␈α⊗Identify␈α∃Unknown␈α⊗Compounds:␈α∃The
␈↓ α∧␈↓↓␈↓ β∧Automation␈α
of␈αScientific␈α
Inference␈↓,␈αin␈α
George␈α
R.␈αWaller␈α
(ed.),␈αBiochemical␈α
Applications
␈↓ α∧␈↓␈↓ β∧of Mass Spectrometry, New York:Interscience, 1972.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓72␈↓↓-␈↓6,␈α∃H.␈α∃Brown,␈α∀L.␈α∃Hjelmel&␈α∃&␈α∀L.␈α∃Masinter,␈α∃STAN␈↓↓-␈↓CS␈↓↓-␈↓72␈↓↓-␈↓318,␈α∃␈↓↓Constructive␈α∀Graph
␈↓ α∧␈↓↓␈↓ β∧Labeling Using Double Cosets␈↓, Discrete Mathematics, 7, 1, 1974.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓1,␈α⊗D.H.␈α⊗Smith,␈α↔B.G.␈α⊗Buchanan,␈α⊗R.S.␈α⊗Engelmore,␈α↔H.␈α⊗Aldercreutz␈α⊗&␈α↔C.␈α⊗Djerassi,
␈↓ α∧␈↓␈↓ β∧␈↓↓Applications␈α∞of␈α∞Artificial␈α∞Intelligence␈α∞for␈α∞Chemical␈α∞Inference␈α∞IX.␈α∞ Analysis␈α∂of␈α∞Mixtures
␈↓ α∧␈↓↓␈↓ β∧without␈α↔Prior␈α↔Separation␈α↔as␈α↔Illustrated␈α⊗for␈α↔Estrogens␈↓,␈α↔Journal␈α↔of␈α↔the␈α⊗American
␈↓ α∧␈↓␈↓ β∧Chemical Society, 95, 6078, 1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓2,␈α∀D.H.␈α∃Smith,␈α∀B.G.␈α∃Buchanan,␈α∀W.C.␈α∀White,␈α∃E.A.␈α∀Feigenbaum,␈α∃C.␈α∀Djerassi␈α∃&␈α∀J.
␈↓ α∧␈↓␈↓ β∧Lederberg,␈α
␈↓↓Applications␈α
of␈α
Artificial␈αIntelligence␈α
for␈α
Chemical␈α
Inference␈α
X.␈α INTSUM.
␈↓ α∧␈↓↓␈↓ β∧A␈α
Data␈α
Interpretation␈α
Program␈α
as␈α
Applied␈α
to␈α
the␈α
Collacted␈α
Mass␈α
Spectra␈α∞of␈α
Estrogenic
␈↓ α∧␈↓↓␈↓ β∧Steroids␈↓, Tetrahedron, 29, 3117, 1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓3,␈α→Harold␈α→Brown␈α→&␈α→Larry␈α→Masinter,␈α→STAN␈↓↓-␈↓CS␈↓↓-␈↓73␈↓↓-␈↓361,␈α→␈↓↓An␈α→Algorithm␈α~for␈α→the
␈↓ α∧␈↓↓␈↓ β∧Construction␈α∪of␈α∪the␈α∪Graphs␈α∪of␈α∩Organic␈α∪Molecules␈↓,␈α∪Discrete␈α∪Mathematics,␈α∪8,␈α∩227,
␈↓ α∧␈↓␈↓ β∧1974.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓4,␈α⊗N.S.␈α⊗Sridharan␈α⊗et␈α⊗al.,␈α⊗AIM␈↓↓-␈↓205,␈α⊗STAN␈↓↓-␈↓CS␈↓↓-␈↓73␈↓↓-␈↓370,␈α⊗AD764288,␈α↔␈↓↓A␈α⊗Heuristic
␈↓ α∧␈↓↓␈↓ β∧Program to Discover Synthesis for Complex Organic Molecules␈↓, June 1973.
␈↓ α∧␈↓␈↓α29␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓5,␈αN.S.␈α
Sridharan,␈αSTAN␈↓↓-␈↓CS␈↓↓-␈↓73␈↓↓-␈↓381,␈α
␈↓↓Computer␈αGeneration␈α
of␈αVertex␈α
Graphs␈↓␈α(working
␈↓ α∧␈↓␈↓ β∧paper), July 1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓6,␈α∃R.␈α⊗Carhart␈α∃&␈α⊗C.␈α∃Djerassi,␈α⊗␈↓↓Applications␈α∃of␈α⊗Artificial␈α∃Intelligence␈α⊗for␈α∃Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α⊃XI.␈α⊃ The␈α⊃Analysis␈α⊃of␈α⊃C13␈α⊃NMR␈α⊃Data␈α⊃for␈α⊃Structure␈α⊃Elucidation␈α⊃of␈α⊂Acyclic
␈↓ α∧␈↓↓␈↓ β∧Amines␈↓, Journal of the American Chemical Society (Perkin II), 2, 1753, 1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓7,␈α_B.G.␈α_Buchanan␈α_&␈α_N.S.␈α_Sridharan,␈α_AIM␈↓↓-␈↓215,␈α→STAN␈↓↓-␈↓CS␈↓↓-␈↓73␈↓↓-␈↓387,␈α_AD769380,
␈↓ α∧␈↓␈↓ β∧␈↓↓Analysis␈α∀of␈α∀Behavior␈α∀of␈α∀Chemical␈α∀Molecules:␈α∀Rule␈α∀Formation␈α∃on␈α∀Non-Homogeneous
␈↓ α∧␈↓↓␈↓ β∧Classes␈α⊂of␈α⊂Objects␈↓,␈α⊂in␈α⊂Proceedings␈α∂of␈α⊂the␈α⊂Third␈α⊂International␈α⊂Joint␈α⊂Conference␈α∂on
␈↓ α∧␈↓␈↓ β∧Artificial Intelligence, Stanford, California, August 1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓8,␈αD.␈α
Michie␈α&␈α
B.G.␈αBuchanan,␈α
␈↓↓Current␈αStatus␈α
of␈αthe␈α
Heuristic␈αDENDRAL␈αProgram␈α
for
␈↓ α∧␈↓↓␈↓ β∧Applying␈α↔Artificial␈α↔Intelligence␈α_to␈α↔the␈α↔Interpretation␈α_of␈α↔Mass␈α↔Spectra␈↓,␈α_in␈α↔R.A.G.
␈↓ α∧␈↓␈↓ β∧Carrington (ed.), Computers for Spectroscopy, London:Adam Hilger, 1974.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓9,␈α∂N.S.␈α∂Sridaran,␈α∞AIM␈↓↓-␈↓217,␈α∂STAN␈↓↓-␈↓CS␈↓↓-␈↓73␈↓↓-␈↓391,␈α∂AD770610,␈α∞␈↓↓Search␈α∂Strategies␈α∂for␈α∞the
␈↓ α∧␈↓↓␈↓ β∧Task of Organic Chemical Synthesis␈↓, August 1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓10,␈α⊃E.H.␈α∩Shortliffe,␈α⊃S.G.␈α∩Axline,␈α⊃B.G.␈α⊃Buchanan,␈α∩T.C.␈α⊃Merigan,␈α∩&␈α⊃S.N.␈α∩Cohen,␈α⊃␈↓↓An
␈↓ α∧␈↓↓␈↓ β∧Artificial␈α∂Intelligence␈α∂Program␈α∂to␈α∂Advise␈α∂Physicians␈α∂Regarding␈α∂Antimicrobial␈α∂Therapy␈↓,
␈↓ α∧␈↓␈↓ β∧Computers & Biomedical Research, 6, 544, 1973.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓73␈↓↓-␈↓11,␈α≠Larry␈α≠Masinter,␈α≠N.S.␈α≤Sridharan,␈α≠J.␈α≠Lederberg␈α≠&␈α≠D.H.␈α≤Smith,␈α≠AIM␈↓↓-␈↓216,
␈↓ α∧␈↓␈↓ β∧STAN␈↓↓-␈↓CS␈↓↓-␈↓73␈↓↓-␈↓389,␈α↔AD71299,␈α↔␈↓↓Applications␈α_of␈α↔Artificial␈α↔Intelligence␈α_for␈α↔Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α⊂XII.␈α⊂ Exhaustive␈α⊂Generation␈α⊂of␈α⊂Cyclic␈α⊂&␈α⊂Acyclic␈α⊂Isomers␈↓,␈α⊂in␈α⊂Journal␈α⊂of␈α∂the
␈↓ α∧␈↓␈↓ β∧American Chemical Society, 96, 7702, 1974.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓74␈↓↓-␈↓1,␈αE.H.␈αShortliffe,␈αS.G.␈αAxline,␈αB.G.␈αBuchanan␈α&␈αS.N.␈αCohen,␈α␈↓↓Design␈αConsiderations␈αfor
␈↓ α∧␈↓↓␈↓ β∧a␈α∂Program␈α∂to␈α∂Provide␈α∂Consultations␈α∂in␈α∂Clinical␈α∂Therapeutics␈↓,␈α∂in␈α∂Proceedings␈α∂of␈α∂San
␈↓ α∧␈↓␈↓ β∧Diego Biomedical Symposium, February 1974.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓74␈↓↓-␈↓2,␈α∩Edward␈α∩H.␈α∩Shortliffe,␈α∩AIM␈↓↓-␈↓251,␈α∩STAN␈↓↓-␈↓CS␈↓↓-␈↓74␈↓↓-␈↓465,␈α∩AD␈↓↓-␈↓A001␈α∩373,␈α∩␈↓↓MYCIN:␈α⊃A
␈↓ α∧␈↓↓␈↓ β∧Rule-Based␈αComputr␈αProgram␈αfor␈α
Advising␈αPhysicians␈αRegarding␈αAntimicrobial␈α
Therapy
␈↓ α∧␈↓↓␈↓ β∧Selection␈↓,␈α⊃Ph.D.␈α∩Thesis␈α⊃in␈α∩Medical␈α⊃Information␈α⊃Sciences,␈α∩October␈α⊃1974.␈α∩ Also␈α⊃in
␈↓ α∧␈↓␈↓ β∧Computer␈↓↓-␈↓Based␈α→Medical␈α~Consultations:␈α→MYCIN,␈α→New␈α~York:American␈α→Elsevier,
␈↓ α∧␈↓␈↓ β∧1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓74␈↓↓-␈↓3,␈α∀B.G.␈α∀Buchanan,␈α∀␈↓↓Scientific␈α∀Theory␈α∀Formation␈α∀by␈α∀Computer␈↓,␈α∀in␈α∀T.C.␈α∀Simon␈α∀(ed.),
␈↓ α∧␈↓␈↓ β∧Computer␈α∀Aided␈α∃Learning␈α∀Processes,␈α∀Nato␈α∃Advanced␈α∀Study␈α∃Institutes␈α∀Series,
␈↓ α∧␈↓␈↓ β∧Series E: Applied Science, 14, 515, Leyden:Noordhoff, 1976.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑30

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓74␈↓↓-␈↓4,␈α∞E.A.␈α∞Feigenbaum,␈α∞␈↓↓Computer␈α∞Applications:␈α∞Introductory␈α∞Remarks␈↓,␈α∞in␈α∂Proceedings␈α∞of
␈↓ α∧␈↓␈↓ β∧Federation of American Societis for Experimental Biology, 33, 2331, 1974.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓74␈↓↓-␈↓5,␈αL.M.␈αMasinter,␈αN.S.␈αSridharan,␈α
R.E.␈αCarhart␈α&␈αD.H.␈αSmith,␈α␈↓↓Applications␈α
of␈αArtificial
␈↓ α∧␈↓↓␈↓ β∧Intelligence␈α∀for␈α∃Chemical␈α∀Inference␈α∀XIII.␈α∃ Labeling␈α∀of␈α∀Objects␈α∃Having␈α∀Symmetry1,2␈↓,
␈↓ α∧␈↓␈↓ β∧Journal of the American Chemical Society, 96, 7714, 1974.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓74␈↓↓-␈↓6,␈αDennis␈αH.␈αSmith,␈αLarry␈αM.␈αMasinter␈α&␈αNatesa␈αS.␈αSridharan,␈α␈↓↓Heuristic␈αDENDRAL:
␈↓ α∧␈↓↓␈↓ β∧Analysis␈α⊂of␈α⊃Molecular␈α⊂Structure␈↓,␈α⊂in␈α⊃W.T.␈α⊂Wipke,␈α⊃S.␈α⊂Heler,␈α⊂R.␈α⊃Feldmann␈α⊂&␈α⊃E.␈α⊂Hyde
␈↓ α∧␈↓␈↓ β∧(eds.),␈α∪Computer␈α∪Representation␈α∀&␈α∪Manipulation␈α∪of␈α∪Chemical␈α∀Information,␈α∪New
␈↓ α∧␈↓␈↓ β∧York:Wiley, 1974.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓74␈↓↓-␈↓7,␈αHarold␈αBrown,␈αSTAN␈↓↓-␈↓CS␈↓↓-␈↓74␈↓↓-␈↓469,␈α␈↓↓Molecular␈αStructure␈αElucidation␈αIII␈↓,␈αSIAM␈αJournal
␈↓ α∧␈↓␈↓ β∧of Applied Math, 32, 3, May 1977, p.534.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓1,␈α∀E.H.␈α∀Shortliffe␈α∀&␈α∀B.G.␈α∀Buchanan,␈α∀␈↓↓A␈α∀Model␈α∀of␈α∀Inexact␈α∀Reasoning␈α∀in␈α∪Medicine␈↓,
␈↓ α∧␈↓␈↓ β∧Mathematical Biosciences, 23, 351, 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓2,␈α∞E.H.␈α∞Shortliffe,␈α∂R.␈α∞Davis,␈α∞S.G.␈α∂Axline,␈α∞B.G.␈α∞Buchanan,␈α∂C.C.␈α∞Green␈α∞&␈α∂S.N.␈α∞Cohen,
␈↓ α∧␈↓␈↓ β∧␈↓↓Computer-Based␈αConsultations␈α
in␈αClinial␈αTherapeutics;␈α
Explanation␈α&␈α
Rule␈αAcquisition
␈↓ α∧␈↓↓␈↓ β∧Capabilities␈α∀of␈α∪the␈α∀MYCIN␈α∪System␈↓,␈α∀Computers␈α∪&␈α∀Biomedical␈α∪Research,␈α∀8,␈α∪303,
␈↓ α∧␈↓␈↓ β∧August 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓3,␈αE.H.␈αShortliffe,␈αF.S.␈αRhame,␈αS.G.␈αAxline,␈αS.N.␈αCohen,␈αB.G.␈αBuchanan,␈αR.␈αDavis,␈αA.C.
␈↓ α∧␈↓␈↓ β∧Scott,␈α
R.␈α
Chavez␈↓↓-␈↓Pardo␈α
&␈α
W.J.␈αVan␈α
Melle,␈α
␈↓↓MYCIN:␈α
A␈α
Computer␈α
Program␈αProviding
␈↓ α∧␈↓↓␈↓ β∧Antimicrobial Therapy Recommendations␈↓, Clinical Medicine, August 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓4,␈α⊃E.H.␈α⊃Shortliffe,␈α⊃␈↓↓Judgmental␈α⊃Knowledge␈α⊂as␈α⊃a␈α⊃Basis␈α⊃for␈α⊃Computer-Assisted␈α⊂Clinical
␈↓ α∧␈↓↓␈↓ β∧Decision␈α→Making␈↓,␈α→in␈α→Proceedings␈α→of␈α→the␈α→1975␈α→International␈α→Conference␈α_on
␈↓ α∧␈↓␈↓ β∧Cybernetics & Society, September 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓5,␈αE.H.␈αShortliffe,␈αS.␈αAxline,␈αB.G.␈αBuchanan,␈αR.␈αDavis␈α&␈αS.␈αCohen,␈α␈↓↓A␈αComputer-Based
␈↓ α∧␈↓↓␈↓ β∧Approach␈α∩to␈α∩the␈α⊃Promotion␈α∩of␈α∩Rational␈α⊃Clinical␈α∩Use␈α∩of␈α⊃Antimicrobials␈↓,␈α∩in␈α∩William␈α⊃A.
␈↓ α∧␈↓␈↓ β∧Gouveia,␈αGianni␈αTognoni,␈α&␈αEppo␈αvan␈αder␈αKleijn␈α(eds.),␈αClinical␈αPharmacy␈α&␈αClinical
␈↓ α∧␈↓␈↓ β∧Pharmacology, New York:Elsevier/North␈↓↓-␈↓Holl& Publishing Company, 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓6,␈α∞R&all␈α
Davis,␈α∞Bruce␈α
Buchanan␈α∞&␈α
Edward␈α∞Shortliffe,␈α∞AIM␈↓↓-␈↓266,␈α
STAN␈↓↓-␈↓CS␈↓↓-␈↓75␈↓↓-␈↓517,
␈↓ α∧␈↓␈↓ β∧AD␈↓↓-␈↓A019␈α≤641,␈α≤␈↓↓Production␈α≤Rules␈α≤as␈α≤a␈α≤Representation␈α≤of␈α≥a␈α≤Knowledge-Based
␈↓ α∧␈↓↓␈↓ β∧Consultation Program␈↓, in Artificial Intelligence, 8, 1, February 1977.
␈↓ α∧␈↓␈↓α31␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓7,␈α
R&all␈α∞Davis␈α
&␈α
Jonathan␈α∞King,␈α
AIM␈↓↓-␈↓271,␈α
STAN␈↓↓-␈↓CS␈↓↓-␈↓75␈↓↓-␈↓524,␈α∞AD␈↓↓-␈↓A019␈α
702/OWC,
␈↓ α∧␈↓␈↓ β∧␈↓↓An␈α
Overview␈α
of␈α
Production␈αSystems␈↓,␈α
in␈α
E.W.␈α
Elcock␈α&␈α
Donald␈α
Michie␈α
(eds.),␈αMachine
␈↓ α∧␈↓␈↓ β∧Intelligence␈α∪8;␈α∪Machine␈α∩Representations␈α∪of␈α∪Knowledge,␈α∪Chichester,␈α∩Engl&:Ellis
␈↓ α∧␈↓␈↓ β∧Horwood Ltd., 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓8,␈αR.G.␈αDromey,␈αB.G.␈αBuchanan,␈αJ.␈αLederberg␈α&␈αC.␈αDjerassi,␈α␈↓↓Applications␈αof␈αArtificial
␈↓ α∧␈↓↓␈↓ β∧Intelligence␈α⊂for␈α⊂Chemical␈α⊂Inference␈α⊂XIV.␈α⊂ A␈α⊂General␈α⊂Method␈α⊂for␈α⊂Predicting␈α⊂Molecular
␈↓ α∧␈↓↓␈↓ β∧Ions in Mass Spectra␈↓, Journal of Organic Chemistry, 40, 770, 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓9,␈α_D.H.␈α_Smith,␈α_␈↓↓Applications␈α_of␈α↔Artificial␈α_Intelligence␈α_for␈α_Chemical␈α_Inference␈α↔XV.
␈↓ α∧␈↓↓␈↓ β∧Constructive␈α
Graph␈α
Labelling␈α
Applied␈α
to␈α
Chemical␈α
Problems.␈α
 Chlorinated␈α
Hydrocarbons␈↓,
␈↓ α∧␈↓␈↓ β∧Analytical Chemistry, 47, 1176, 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓10,␈α⊂R.E.␈α⊂Carhart,␈α⊂D.H.␈α⊂Smith,␈α⊂H.␈α⊂Brown␈α⊂&␈α⊂N.S.␈α⊂Sridharan,␈α⊂␈↓↓Applications␈α⊂of␈α⊂Artificial
␈↓ α∧␈↓↓␈↓ β∧Intelligence␈αfor␈αChemical␈αInference␈αXVI.␈α Computer␈αGeneration␈αof␈αVertex␈αGraphs␈α&␈αRing
␈↓ α∧␈↓↓␈↓ β∧Systems␈↓, Journal of Chemical Information & Computer Science, 15, 124, 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓11,␈α∀R.E.␈α∪Carhart,␈α∀D.H.␈α∪Smith,␈α∀H.␈α∪Brown␈α∀&␈α∪C.␈α∀Djerassi,␈α∪␈↓↓Applications␈α∀of␈α∪Artificial
␈↓ α∧␈↓↓␈↓ β∧Intelligence␈α
for␈αChemical␈α
Inference␈α
XVII.␈α An␈α
Approach␈α
to␈αComputer-Assisted␈α
Elucidation
␈↓ α∧␈↓↓␈↓ β∧of Molecular Structure␈↓, Journal of the American Chemical Society, 97, 5755, 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓12,␈α≥E.H.␈α≤Shortliffe,␈α≥S.G.␈α≤Axline,␈α≥B.G.␈α≤Buchanan,␈α≥R.␈α≤Davis␈α≥&␈α≥S.N.␈α≤Cohen,
␈↓ α∧␈↓␈↓ β∧␈↓↓Computer-Assisted␈α∞Consultations␈α∞Regarding␈α∂the␈α∞Antimicrobial␈α∞Treatment␈α∂of␈α∞Bacteremia␈↓,
␈↓ α∧␈↓␈↓ β∧Journal ***** , May 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓13,␈α⊃B.G.␈α⊃Buchanan,␈α⊃␈↓↓Applications␈α⊃of␈α⊃Artificial␈α⊃Intelligence␈α⊃to␈α⊃Scientific␈α∩Reasoning␈↓,␈α⊃in
␈↓ α∧␈↓␈↓ β∧Proceedings␈αof␈α
Second␈αUSA␈↓↓-␈↓Japan␈αComputer␈α
Conference,␈αAmerican␈α
Federation␈αof
␈↓ α∧␈↓␈↓ β∧Information Processing Societies Press, August 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓14,␈α∀R.E.␈α∀Carhart,␈α∪S.M.␈α∀Johnson,␈α∀D.H.␈α∪Smith,␈α∀B.G.␈α∀Buchanan,␈α∪R.G.␈α∀Dromey,␈α∀&␈α∪J.
␈↓ α∧␈↓␈↓ β∧Lederberg,␈α␈↓↓Networking␈α&␈αa␈αCollaborative␈αResearch␈αCommunity:␈αA␈αCase␈αStudy␈αUsing␈αthe
␈↓ α∧␈↓↓␈↓ β∧DENDRAL␈α_Program␈↓,␈α→in␈α_P.␈α_Lykos␈α→(ed.),␈α_Computer␈α_Networking␈α→&␈α_Chemistry,
␈↓ α∧␈↓␈↓ β∧Washington, D.C.:American Chemistry Society, 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓15,␈αD.H.␈αSmith,␈α␈↓↓Applications␈αof␈αArtificial␈αIntelligence␈αfor␈αChemical␈αInference␈αXVIII.␈α The
␈↓ α∧␈↓↓␈↓ β∧Scope␈α
of␈α
Structural␈α
Isomerism␈↓,␈αJournal␈α
of␈α
Chemical␈α
Information␈α
&␈αComputer␈α
Sciences,
␈↓ α∧␈↓␈↓ β∧15, 203, 1975.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓75␈↓↓-␈↓16,␈α↔E.H.␈α_Shortliffe␈α↔&␈α_R.␈α↔Davis,␈α_␈↓↓Some␈α↔Considerations␈α_for␈α↔the␈α_Implementation␈α↔of
␈↓ α∧␈↓↓␈↓ β∧Knowledge-Based Expert Systems␈↓, SIGART Newsletter, 55, 9, December 1975.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑32

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓1,␈αD.H.␈αSmith,␈α
J.P.␈αKonopelski␈α&␈αC.␈α
Djerassi,␈α␈↓↓Applications␈αof␈αArtificial␈α
Intelligence␈αfor
␈↓ α∧␈↓↓␈↓ β∧Chemical␈α↔Inference␈α↔XIX.␈α↔ Computer␈α_Generation␈α↔of␈α↔Ion␈α↔Structures␈↓,␈α_Organic␈α↔Mass
␈↓ α∧␈↓␈↓ β∧Spectrometry, 11, 86, 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓2,␈α∂Raymond␈α∂E.␈α∂Carhart␈α∞&␈α∂Dennis␈α∂H.␈α∂Smith,␈α∞␈↓↓Applications␈α∂of␈α∂Artificial␈α∂Intelligence␈α∞for
␈↓ α∧␈↓↓␈↓ β∧Chemical␈α∞Inference␈α∞XX.␈α∞ Intelligent␈α∂Use␈α∞of␈α∞Constraints␈α∞in␈α∂Computer-Assisted␈α∞Structure
␈↓ α∧␈↓↓␈↓ β∧Elucidation␈↓, Computers in Chemistry, 1,79, 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓3,␈α∪C.J.␈α∪Cheer,␈α∪D.H.␈α∪Smith,␈α∪C.␈α∪Djerassi,␈α∪B.␈α∪Tursch,␈α∪J.C.␈α∪Braekman␈α∪&␈α∪D.␈α∩Daloze,
␈↓ α∧␈↓␈↓ β∧␈↓↓Applications␈α∞of␈α
Artificial␈α∞Intelligence␈α
for␈α∞Chemical␈α
Inference␈α∞XXI.␈α
 Chemical␈α∞Studies␈α
of
␈↓ α∧␈↓↓␈↓ β∧Marine␈α
Interbrates␈α
-␈αXVII.␈α
 The␈α
Computer-Assisted␈αIdentification␈α
of␈α
[+]-Palostrol␈αin␈α
the
␈↓ α∧␈↓↓␈↓ β∧Marine Organism Cespitularia sp., aff. subviridis␈↓, Tetrahedron, 32, 1807, 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓4,␈α_B.G.␈α_Buchanan,␈α↔D.H.␈α_Smith,␈α_W.C.␈α_White,␈α↔R.J.␈α_Gritter,␈α_E.A.␈α_Feigenbaum,␈α↔J.
␈↓ α∧␈↓␈↓ β∧Lederberg␈α_&␈α_Carl␈α_Djerassi,␈α_␈↓↓Applications␈α_of␈α_Artificial␈α_Intelligence␈α_for␈α_Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α∩XXII.␈α∩ Automatic␈α∪Rule␈α∩Formation␈α∩in␈α∩Mass␈α∪Spectrometry␈α∩by␈α∩Means␈α∪of␈α∩the
␈↓ α∧␈↓↓␈↓ β∧Meta-DENDRAL␈α⊃Program␈↓,␈α⊂Journal␈α⊃of␈α⊂the␈α⊃American␈α⊂Chemical␈α⊃Society,␈α⊂98,6168,
␈↓ α∧␈↓␈↓ β∧1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓5,␈α∞T.H.␈α∞Varkony,␈α∞R.E.␈α∞Carhart␈α∞&␈α∞D.H.␈α∞Smith,␈α∞␈↓↓Applications␈α∞of␈α∞Artificial␈α∂Intelligence␈α∞for
␈↓ α∧␈↓↓␈↓ β∧Chemical␈α≥Inference␈α≥XXIII.␈α≥ Computer-Assisted␈α≥Structure␈α≥Elucidation.␈α≥ Modelling
␈↓ α∧␈↓↓␈↓ β∧Chemical␈α⊃Reaction␈α⊃Sequences␈α∩Used␈α⊃in␈α⊃Molecular␈α∩Structure␈α⊃Programs␈↓,␈α⊃in␈α∩W.T.␈α⊃Wipke
␈↓ α∧␈↓␈↓ β∧(ed.),␈α∞Computer␈↓↓-␈↓Assisted␈α∞Organic␈α∞Synthesis,␈α∞Washington,␈α∞D.C.:American␈α∞Chemical
␈↓ α∧␈↓␈↓ β∧Society, 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓6,␈α∀D.H.␈α∃Smith␈α∀&␈α∃R.E.␈α∀Carhart,␈α∃␈↓↓Applications␈α∀of␈α∃Artificial␈α∀Intelligence␈α∃for␈α∀Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α∃XXIV.␈α∃ Structural␈α∀Isomerism␈α∃of␈α∃Mono␈α∀&␈α∃Sesquiterpenoid␈α∃Skeletons␈α∀1,2-,␈↓,
␈↓ α∧␈↓␈↓ β∧Tetrahedron, 32, 2513, May 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓7,␈αR&all␈αDavis,␈αAIM␈↓↓-␈↓283,␈αSTAN␈↓↓-␈↓CS␈↓↓-␈↓76␈↓↓-␈↓552,␈α␈↓↓Applications␈αof␈αMeta␈αLevel␈αKnowledge␈αto
␈↓ α∧␈↓↓␈↓ β∧the␈α∀Construction,␈α∪Maintenance␈α∀&␈α∪Use␈α∀of␈α∪Large␈α∀Knowledge␈α∪Bases␈↓,␈α∀Ph.D.␈α∀Thesis␈α∪in
␈↓ α∧␈↓␈↓ β∧Computer Science, July 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓8,␈α_Douglas␈α_Lenat,␈α_AIM␈↓↓-␈↓286,␈α↔STAN␈↓↓-␈↓CS␈↓↓-␈↓76␈↓↓-␈↓570,␈α_␈↓↓AM:␈α_ An␈α_Artificial␈α↔Intelligence
␈↓ α∧␈↓↓␈↓ β∧Approach␈α∞to␈α∞Discovery␈α
in␈α∞Mathematics␈α∞as␈α∞Heuristic␈α
Search␈↓,␈α∞Ph.D.␈α∞Thesis␈α∞in␈α
Computer
␈↓ α∧␈↓␈↓ β∧Science, July 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓9,␈α!Bruce␈α!G.␈α Buchanan,␈α!Joshua␈α!Lederberg␈α &␈α!John␈α!McCarthy,␈α AIM␈↓↓-␈↓291,
␈↓ α∧␈↓␈↓ β∧STAN␈↓↓-␈↓CS␈↓↓-␈↓76␈↓↓-␈↓577,␈α∪␈↓↓Three␈α∪Reviews␈α∪of␈α∩J.␈α∪Weizenbaum's␈α∪Computer␈α∪Power␈α∪&␈α∩Human
␈↓ α∧␈↓↓␈↓ β∧Reason␈↓, November 1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓10,␈αBruce␈α
G.␈αBuchanan␈α
&␈αDennis␈α
Smith,␈α␈↓↓Computer␈α
Assisted␈αChemical␈α
Reasoning␈↓,␈αin␈α
E.V.
␈↓ α∧␈↓␈↓α33␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓␈↓ β∧Ludena,␈α∀N.H.␈α∀Sabelli␈α∀&␈α∀A.C.␈α∪Wahl␈α∀(eds.),␈α∀Computers␈α∀in␈α∀Chemical␈α∀Education␈α∪&
␈↓ α∧␈↓␈↓ β∧Research, New York:Plenum Press, 1977, p.401.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓76␈↓↓-␈↓11,␈αRaymond␈αE.␈αCarhart,␈α
␈↓↓A␈αModel-Based␈αApproach␈αto␈α
the␈αTeletype␈αPrinting␈αof␈α
Chemical
␈↓ α∧␈↓↓␈↓ β∧Structures␈↓, Journal of Chemical Information & Computer Sciences, 16, 82, 1976.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓1,␈α
A.C.␈αScott,␈α
W.␈αClancey,␈α
R.␈αDavis␈α
&␈αE.H.␈α
Shortliffe,␈αSTAN␈↓↓-␈↓CS␈↓↓-␈↓77␈↓↓-␈↓593,␈α
␈↓↓Explanation
␈↓ α∧␈↓↓␈↓ β∧Capabilities␈α%of␈α%Knowledge-Based␈α$Production␈α%Systems␈↓,␈α%American␈α%Journal␈α$of
␈↓ α∧␈↓␈↓ β∧Computational␈αLinguistics,␈αMicrofiche␈α62,␈αKnowledge␈↓↓-␈↓Based␈αConsultation␈αSystems,
␈↓ α∧␈↓␈↓ β∧1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓2,␈α
Robert␈α
S.␈α
Engelmore␈α
&␈α
H.␈α
Penny␈α
Nii,␈α
STAN␈↓↓-␈↓CS␈↓↓-␈↓77␈↓↓-␈↓589,␈α
␈↓↓A␈αKnowledge-Based␈α
System
␈↓ α∧␈↓↓␈↓ β∧for␈α↔the␈α↔Interpretation␈α↔of␈α⊗Protein␈α↔X-Ray␈α↔Crystallographic␈α↔Data␈↓␈α↔(working␈α⊗paper),
␈↓ α∧␈↓␈↓ β∧January 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓3,␈αB.G.␈α
Buchanan,␈αR.␈α
Davis,␈αV.␈α
Yu␈α&␈α
S.␈αCohen,␈α
␈↓↓Rule␈αBased␈α
Medical␈αDecision␈αMaking␈α
by
␈↓ α∧␈↓↓␈↓ β∧Computer␈↓, Proceedings of MEDINFO.77, Tronto, 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓4,␈αT.M.␈αMitchell␈α&␈αG.M.␈αSchwenzer,␈α␈↓↓Applications␈αof␈αArtificial␈αIntelligence␈α
for␈αChemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α⊗XXV.␈α∃ A␈α⊗Computer␈α⊗Program␈α∃for␈α⊗Automated␈α∃Empirical␈α⊗13C␈α⊗NMR␈α∃Rule
␈↓ α∧␈↓↓␈↓ β∧Formation␈↓, Organic Magnetic Resonance, forthcoming.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓5,␈α⊃Mark␈α⊂Stefik␈α⊃&␈α⊂Nancy␈α⊃Martin,␈α⊂STAN␈↓↓-␈↓CS␈↓↓-␈↓77␈↓↓-␈↓596,␈α⊃␈↓↓A␈α⊂Review␈α⊃of␈α⊂Knowledge-Based
␈↓ α∧␈↓↓␈↓ β∧Systems␈α∪as␈α∩a␈α∪Basis␈α∩for␈α∪a␈α∩Genetics␈α∪Experiment␈α∩Designing␈α∪System␈↓␈α∪(working␈α∩paper),
␈↓ α∧␈↓␈↓ β∧February 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓6,␈αBruce␈αG.␈αBuchanan␈α&␈α
Tom␈αMitchell,␈αSTAN␈↓↓-␈↓CS␈↓↓-␈↓77␈↓↓-␈↓597,␈α␈↓↓Model-Directed␈αLearning␈α
of
␈↓ α∧␈↓↓␈↓ β∧Production␈α∀Rules␈↓,␈α∃in␈α∀D.A.␈α∀Waterman␈α∃&␈α∀F.␈α∀Hayes␈↓↓-␈↓Roth␈α∃(eds.),␈α∀Pattern␈↓↓-␈↓Directed
␈↓ α∧␈↓␈↓ β∧Inference Systems, New York:Academic Press, forthcoming.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓7,␈α≥H.␈α≡Penny␈α≥Nii␈α≡&␈α≥Edward␈α≡A.␈α≥Feigenbaum,␈α≡STAN␈↓↓-␈↓CS␈↓↓-␈↓77␈↓↓-␈↓612,␈α≥␈↓↓Rule-Based
␈↓ α∧␈↓↓␈↓ β∧Underst&ing␈α
of␈αSignals␈↓,␈α
Proceedings␈αof␈α
Pattern␈↓↓-␈↓Directed␈αInference␈α
Systems,␈αMay
␈↓ α∧␈↓␈↓ β∧1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓8,␈α≠R.␈α≤Davis,␈α≠␈↓↓Knowledge␈α≤Acquisition␈α≠on␈α≤Rule-Based␈α≠Systems:␈α≤ Knowledge␈α≠about
␈↓ α∧␈↓↓␈↓ β∧Representations␈α⊂as␈α⊂a␈α⊂Basis␈α⊂for␈α⊂System␈α⊂Construction␈α⊂&␈α⊂Maintenance␈↓,␈α⊂Proceedings␈α⊂of
␈↓ α∧␈↓␈↓ β∧Patter␈↓↓-␈↓Directed Inference, May 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓9,␈α∂R.␈α∂Davis,␈α∂␈↓↓Interactive␈α∂Transfer␈α⊂of␈α∂Expertise␈α∂I:␈α∂ Acquisition␈α∂of␈α∂New␈α⊂Inference␈α∂Rules␈↓,
␈↓ α∧␈↓␈↓ β∧Proceedings of Fifth IJCAI, 1, 321, August 1977.
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑34

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓10,␈αR.␈αDavis,␈α␈↓↓A␈αDecision␈αSupport␈αSystem␈αfor␈αMedical␈αDiagnosis␈α&␈αTherapy␈αSelection␈αin
␈↓ α∧␈↓↓␈↓ β∧Data Base␈↓, SIGBDP Newsletter, 8, 58, Winter, 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓11,␈αDennis␈α
H.␈αSmith␈α
&␈αRaymond␈αE.␈α
Carhart,␈α␈↓↓Structure␈α
Elucidation␈αBased␈α
on␈αComputer
␈↓ α∧␈↓↓␈↓ β∧Analysis␈α⊗of␈α⊗High␈α⊗&␈α⊗Low␈α↔Resolution␈α⊗Mass␈α⊗Spectral␈α⊗Data␈↓,␈α⊗in␈α⊗M.L.␈α↔Gross␈α⊗(ed.),
␈↓ α∧␈↓␈↓ β∧Proceedings␈α∪of␈α∀the␈α∪Symposium␈α∀on␈α∪Chemical␈α∀Applications␈α∪of␈α∀High␈α∪Performance
␈↓ α∧␈↓␈↓ β∧Spectrometry, Washington, D.C.:American Chemical Society, in press.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓12,␈α∩Reid␈α∩G.␈α∩Smith,␈α∩␈↓↓The␈α∩Contract␈α∪Net:␈α∩ A␈α∩Formalism␈α∩for␈α∩the␈α∩Control␈α∪of␈α∩Distributed
␈↓ α∧␈↓↓␈↓ β∧Problem Solving␈↓, Proceedings of the Fifth IJCAI, 1, 472, August 1972.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓13,␈α
Tom␈α
M.␈α
Mitchell,␈α
␈↓↓Version␈α
Spaces:␈α
A␈α
C&idate␈α
Elimination␈α
Approach␈α
to␈αRule␈α
Learning␈↓,
␈↓ α∧␈↓␈↓ β∧Proceedings of the Fifth IJCAI, 1, 305, August 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓14,␈α∞Reid␈α∞G.␈α∂Smith,␈α∞Tom␈α∞M.␈α∂Mitchell,␈α∞Richard␈α∞A.␈α∞Chestek␈α∂&␈α∞Bruce␈α∞G.␈α∂ Buchanan,␈α∞␈↓↓A
␈↓ α∧␈↓↓␈↓ β∧Model for Learning Systems␈↓, Proceedings of the Fifth IJCAI, 1, 338, August 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓15,␈α_E.A.␈α_Feigenbaum,␈α_R.S.␈α→Engelmore␈α_&␈α_C.K.␈α_Johnson,␈α_␈↓↓A␈α→Correlation␈α_Between
␈↓ α∧␈↓↓␈↓ β∧Crystallographic␈α∞Computing␈α
&␈α∞Artificial␈α∞Intelligence␈↓,␈α
in␈α∞Acta␈α∞Crystallographica,␈α
A33,
␈↓ α∧␈↓␈↓ β∧13, 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓16,␈α~R&all␈α→Davis␈α~&␈α~Bruce␈α→G.␈α~Buchanan,␈α→␈↓↓Meta-Level␈α~Knowledge:␈α~ Overview␈α→&
␈↓ α∧␈↓↓␈↓ β∧Applications␈↓, Proceedings of the Fifth IJCAI, 1, 920, August 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓17,␈α∂Bruce␈α∂G.␈α∂Buchanan,␈α∂␈↓↓Heuristic␈α∂DENDRAL:␈α∂ A␈α∂Short␈α∂Summary␈↓␈α∂(working␈α∞paper),
␈↓ α∧␈↓␈↓ β∧(class notes for CS 224, Spring 1977).

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓18,␈α⊃Jerry␈α∩Feitelson␈α⊃&␈α⊃Mark␈α∩Stefik,␈α⊃␈↓↓A␈α⊃Case␈α∩Study␈α⊃of␈α⊃the␈α∩Reasoning␈α⊃in␈α∩a␈α⊃Genetics
␈↓ α∧␈↓↓␈↓ β∧Experiment␈↓ (working paper), April 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓19,␈α⊂N.␈α⊃Martin,␈α⊂P.␈α⊃Friedl&,␈α⊂J.␈α⊃King␈α⊂&␈α⊃M.J.␈α⊂Stefik,␈α⊃␈↓↓Knowledge␈α⊂Base␈α⊃Management␈α⊂for
␈↓ α∧␈↓↓␈↓ β∧Experiment Planning␈↓, Proceedings of the Fifth IJCAI, 1, 882, August 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓20,␈α_Gretchen␈α↔M.␈α_Schwenzer␈α_&␈α↔Tom␈α_M.␈α↔Mitchell,␈α_␈↓↓Computer␈α_Assisted␈α↔Structure
␈↓ α∧␈↓↓␈↓ β∧Elucidation␈α_Using␈α_Automatically␈α_Acquired␈α_13C␈α↔NMR␈α_Rules␈↓,␈α_in␈α_D.␈α_Smith␈α↔(ed.),
␈↓ α∧␈↓␈↓ β∧Computer␈α∃Assisted␈α∃Structure␈α∃Elucidation,␈α∃ACS␈α∃Symposium␈α∃Series,␈α∃Vol.␈α∃54:58,
␈↓ α∧␈↓␈↓ β∧1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓21,␈α
Hector␈α
Garcia␈↓↓-␈↓Molina␈α
&␈α
Gio␈αWiederhold,␈α
␈↓↓Application␈α
of␈α
the␈α
Contract␈α
Net␈αProtocol
␈↓ α∧␈↓↓␈↓ β∧to Distributed Data Bases␈↓ (working paper), April 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓22,␈α⊗Gretchen␈α⊗M.␈α⊗Schwenzer,␈α⊗␈↓↓Applications␈α⊗of␈α⊗Artificial␈α⊗Intelligence␈α↔for␈α⊗Chemical
␈↓ α∧␈↓↓␈↓ β∧Inference␈α∩XXVI.␈α∪ Analysis␈α∩of␈α∪C-13␈α∩NMR␈α∪for␈α∩Mono-Hydroxy␈α∪Steroids␈α∩Incorporating
␈↓ α∧␈↓↓␈↓ β∧Geometric Distortions␈↓, Journal of Organic Chemistry, forthcoming.
␈↓ α∧␈↓␈↓α35␈↓ ε>Appendix␈↓ λxComputer Science Reports

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓23,␈α
James␈α
G.␈αNourse,␈α
␈↓↓Gereralized␈α
Stereoisomerization␈αModes␈↓,␈α
Journal␈α
of␈α
the␈αAmerican
␈↓ α∧␈↓␈↓ β∧Chemical Society, 99, 2063, 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓24,␈α
Kent␈α∞Morrill,␈α
Dennis␈α
H.␈α∞Smith␈α
&␈α
Carl␈α∞Djerassi,␈α
␈↓↓Computer-Assisted␈α
Analysis␈α∞of␈α
the
␈↓ α∧␈↓↓␈↓ β∧High Resolution Mass Spectra of Macrolide Antibiotics␈↓, submitted for publication.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓25,␈α
Edward␈αA.␈α
Feigenbaum,␈α
␈↓↓The␈αArt␈α
of␈αArtificial␈α
Intelligence:␈α
Themes␈α&␈α
Case␈αStudies␈α
of
␈↓ α∧␈↓↓␈↓ β∧Knowledge Engineering␈↓, Proceedings of the Fifth IJCAI, 1, 1014, August 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓26,␈α∞Thomas␈α∞H.␈α∞Varkony,␈α∞Raymond␈α∞E.␈α∞Carhart␈α∞&␈α∞Dennis␈α∞H.␈α∞Smith,␈α∞␈↓↓Computer␈α∞Assisted
␈↓ α∧␈↓↓␈↓ β∧Structure␈α∂Elucidation,␈α∞Ranking␈α∂the␈α∞C&idate␈α∂Structures,␈α∞Based␈α∂on␈α∂Comparison␈α∞Between
␈↓ α∧␈↓↓␈↓ β∧Predicted␈α
&␈αObserved␈α
Mass␈αSpectra␈↓,␈α
in␈αProceedings␈α
of␈αthe␈α
25th␈α
Annual␈αConference
␈↓ α∧␈↓␈↓ β∧on Mass Spectrometry & Allied Topics, Washington, D.C., 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓27, Hector Garcia␈↓↓-␈↓Molina, ␈↓↓Overview & Bibliography of Distributed Data Bases␈↓, 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓28,␈α∞Nils␈α∞J.␈α∞Nilsson,␈α∂STAN␈↓↓-␈↓CS␈↓↓-␈↓77␈↓↓-␈↓618,␈α∞␈↓↓A␈α∞Production␈α∞System␈α∞for␈α∂Automatic␈α∞Deduction␈↓,
␈↓ α∧␈↓␈↓ β∧Machine Intelligence 9, 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓29,␈α∀Edward␈α∀H.␈α∀Shortliffe,␈α∀␈↓↓A␈α∃Rule-Based␈α∀Approch␈α∀to␈α∀the␈α∀Generation␈α∀of␈α∃Advice␈α∀&
␈↓ α∧␈↓↓␈↓ β∧Explanation in Clinical Medicine␈↓, August 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓30,␈α
Edward␈αH.␈α
Shortliffe,␈α␈↓↓Clinical␈α
Decisions␈αBased␈α
on␈α
Physician-Computer␈αInteractions:
␈↓ α∧␈↓↓␈↓ β∧A␈α⊂Symbolic␈α∂Reasoning␈α⊂Approach␈↓,␈α∂presented␈α⊂at␈α∂the␈α⊂Symposium␈α∂on␈α⊂Making␈α⊂&␈α∂Using
␈↓ α∧␈↓␈↓ β∧Medical␈α∪Decisions,␈α∀Annual␈α∪Meeting␈α∪Society␈α∀for␈α∪Computer␈α∀Medicine,␈α∪November,
␈↓ α∧␈↓␈↓ β∧1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓31,␈α⊗Kjell␈α∃G.␈α⊗Knutsen,␈α∃␈↓↓Some␈α⊗Issues␈α∃in␈α⊗the␈α∃Design␈α⊗of␈α⊗Large␈α∃Multi-Microprocessor
␈↓ α∧␈↓↓␈↓ β∧Networks␈↓ (working paper), 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓32,␈αEdward␈αH.␈αShortliffe,␈α␈↓↓MYCIN:␈α A␈αKnowledge-Based␈αComputer␈αProgram␈αApplied␈αto
␈↓ α∧␈↓↓␈↓ β∧Infectious␈α~Diseases␈↓,␈α~presented␈α→at␈α~the␈α~First␈α→Annual␈α~Symposium␈α~on␈α→Computer
␈↓ α∧␈↓␈↓ β∧Application in Medical Care, Washington, D.C., October 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓33,␈α∂R&al␈α∂Davis,␈α∂␈↓↓Generalized␈α∂Procedure␈α∂Calling␈α∂&␈α∂Content-Directed␈α∂Invocation␈↓,␈α∂in␈α∂the
␈↓ α∧␈↓␈↓ β∧Proceedings␈α↔of␈α_Artificial␈α↔Intelligence␈α_&␈α↔Programming␈α_Languages␈α↔Conference,
␈↓ α∧␈↓␈↓ β∧Published as SIGART/SIGPLAN Combined Issue, August 1977, pp. 45␈↓↓-␈↓54.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓34,␈α∪Thomas␈α∪Varkony,␈α∪Dennis␈α∩Smith␈α∪&␈α∪Carl␈α∪Djerassi,␈α∪␈↓↓Computer-Assisted␈α∩Structure
␈↓ α∧␈↓↓␈↓ β∧Manipulation:␈α≠ Studies␈α≤in␈α≠the␈α≠Biosynthesis␈α≤of␈α≠Natural␈α≤Products␈↓,␈α≠Tetrahedron,
␈↓ α∧␈↓␈↓ β∧forthcoming.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓35,␈α⊗R.G.␈α⊗Dromey,␈α∃Mark␈α⊗J.␈α⊗Stefik,␈α∃Thomas␈α⊗C.␈α⊗Rindfleisch␈α∃&␈α⊗Alan␈α⊗M.␈α∃Duffield,
␈↓ α∧␈↓␈↓αComputer Science Reports␈↓ ε>Appendix␈↓ ↑36

␈↓"β␈↓ α∧␈↓␈↓ β∧␈↓↓Extraction␈αof␈α
Mass␈αSpectra␈αFree␈α
of␈αBackground␈α
&␈αNeighboring␈αComponent␈α
Contributions
␈↓ α∧␈↓↓␈↓ β∧from␈α∂Gas␈α∞Chromatography/Mass␈α∂Spectrometry␈α∞Data␈↓,␈α∂Analytical␈α∞Chemistry,␈α∂48,␈α∞1368,
␈↓ α∧␈↓␈↓ β∧1976.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓36,␈αBruce␈αG.␈αBuchanan,␈α␈↓↓Issues␈αof␈αRepresentation␈αin␈αConveying␈αthe␈αScope␈α&␈αLimitations
␈↓ α∧␈↓↓␈↓ β∧of Intelligent Assistant Programs␈↓ (working paper), 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓37, Avron Barr, ␈↓↓Meta-Knowldge & Memory␈↓ (working paper), November 1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓38,␈α∪Annemarie␈α∪Wegmann,␈α∪␈↓↓Variations␈α∪in␈α∪Mass␈α∪Spectral␈α∪Fragmentation␈α∀Produced␈α∪by
␈↓ α∧␈↓↓␈↓ β∧Active␈α∪Sites␈α∩in␈α∪a␈α∪Mass␈α∩Spectrometer␈α∪Source␈↓,␈α∩(submitted␈α∪to␈α∪Analytical␈α∩Chemistry),
␈↓ α∧␈↓␈↓ β∧1977.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓77␈↓↓-␈↓39,␈α∞Bruce␈α
G.␈α∞Buchanan,␈α
Tom␈α∞M.␈α∞Mitchell,␈α
Reid␈α∞G.␈α
Smith␈α∞&␈α
C.␈α∞Richard␈α∞Johnson,␈α
Jr.,
␈↓ α∧␈↓␈↓ β∧␈↓↓Learning Systems␈↓, 1977.



␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓1,␈α∂Bruce␈α∞G.␈α∂Buchanan␈α∂&␈α∞Edward␈α∂A.␈α∞Feigenbaum,␈α∂␈↓↓DENDRAL␈α∂&␈α∞Meta-DENDRAL:
␈↓ α∧␈↓↓␈↓ β∧Their Applications Dimension␈↓, Stanford University, 1978.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓2, Reid G. Smith, ␈↓↓Issues in Distributed Sensor Net Design␈↓, January 1978.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓3,␈α⊃Mark␈α⊃Stefik,␈α⊃␈↓↓Inferring␈α⊃DNA␈α⊃Structures␈α⊃from␈α⊃Segmentation␈α⊃Data:␈α⊃ A␈α⊃Case␈α⊂Study␈↓,
␈↓ α∧␈↓␈↓ β∧(submitted to Artificial Intelligence).

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓4,␈α∃Hector␈α∃Garcia␈↓↓-␈↓Molina,␈α∃␈↓↓Distributed␈α∃Database␈α∃Coupling␈↓␈α∃(working␈α⊗paper),␈α∃March
␈↓ α∧␈↓␈↓ β∧1978.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓5, never used.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓6,␈αHector␈αGarcia␈↓↓-␈↓Molina,␈α␈↓↓Performance␈αComparison␈αof␈αUpdate␈αAlgorithms␈αfor␈αDistributed
␈↓ α∧␈↓↓␈↓ β∧Data Bases␈↓ (working paper), 1978.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓7,␈α
Reid␈α
G.␈α
Smith␈α
&␈αR&al␈α
Davis,␈α
STAN␈↓↓-␈↓CS␈↓↓-␈↓78␈↓↓-␈↓667,␈α
␈↓↓Distributed␈α
Problem␈α
Solving:␈α The
␈↓ α∧␈↓↓␈↓ β∧Contract Net Approach␈↓, June 1978.

␈↓"β␈↓ α∧␈↓HPP␈↓↓-␈↓78␈↓↓-␈↓10,␈α⊃Alain␈α⊃Bonnet,␈α∩STAN␈↓↓-␈↓CS␈↓↓-␈↓78␈↓↓-␈↓668,␈α⊃␈↓↓BAOBAB,␈α⊃A␈α∩Parser␈α⊃for␈α⊃a␈α∩Rule-Based␈α⊃System
␈↓ α∧␈↓↓␈↓ β∧Using a Semantic Grammar␈↓, June 1978.