perm filename BIB.PUB[BIB,CSR]14 blob sn#453033 filedate 1979-06-26 generic text, type C, neo UTF8
C00001 00001
C00002 00002	.DEVICE XGP
C00004 00003	.once center <<1 - 99>>
C00027 00004	.once center <<100 - 199>>
C00050 00005	.once center <<200 - 299>>
C00077 00006	.once center <<300 - 399>>
C00101 00007	.once center <<400 - 499>>
C00125 00008	.once center <<500 - 599>>
C00149 00009	.once center <<600 - 699>>
C00173 00010	.once center <<700 - 799>>
C00184 00011	.every heading (%3Appendix A,,%3Availability)
C00225 00012	.every heading (%3Appendix B,,%3Heuristing Programming Project)
C00273 ENDMK
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "ngr25"; <<regular text>>
.font 2 "baxm30"; <<italic text>>
.font 3 "nonlb"; <<bold face text>>
.font 4 "sail25"; <<typewriter font>>
.font 5 "fix25"; <<fixed width>>
.font 6 "math30"; <<mathematical symbols>>
.font 7 "ngb40"; <<cover>>
.font A "grkl30"; <<greek>>
.at "@" ⊂"####"⊃
.at "-" ⊂"%5α-%*"⊃
.at "=" ⊂"%5α=%*"⊃
.at "<" ⊂"%5α<%*"⊃
.at ">" ⊂"%5α>%*"⊃
.at "<=>" ⊂"%5α<α=α>%*"⊃
.at "=>" ⊂"%5α=α>%*"⊃
.at "<=" ⊂"%5α<α=%*"⊃
.at "⊗" ⊂"%6αO%*"⊃
.at "*" ⊂"%5α*%*"⊃
.at "+" ⊂"%5α+%*"⊃
.macro bf; ⊂
.turn on "\"
. ⊃
.macro bi; ⊂
.turn on "\";
. ⊃
.every heading (%3Computer Science,,%*)
.once center <<1 - 99>>
%3Reports 1 thru 99%1

.begin indent 0,10,0
STAN-CS-63-1, ,AD462108, J. B. Rosen, 
%2Primal Partition Programming for Block Diagonal Matrices%1,
23 pages, November 1963.

STAN-CS-63-2, ,AD427753, J. M. Pavkovich,
%2The Soultion of Large Systems of Algebraic Equations%1,
46 pages, December 1963.

STAN-CS-64-3, ,AD430445, G. E. Forsythe (translated by),
%2The Theorems in a Paper by V. K. Saulev 'On an Estimate of the Error in 
Obtaining Characteristic Functions by the Method of Finite Differences' %1,
6 pages, January 1964.

STAN-CS-64-4, ,AD434858, Stefan Bergman and J. G. Herriot,
%2Numerical Solution of Boundary Value Problems by the Method of Integral
24 pages, February 1964.

STAN-CS-64-5,N-6519765, , J. B. Rosen,
%2Existence and Uniqueness of Equilibrium Points for Concave N-Person Games%1,
28 pages, March 1964.

STAN-CS-64-6, ,AD600164, R. W. Hockney,
%2A Fast Direct Solution of Poisson's Fourier Analysis%1,
28 pages, April 1964.

STAN-CS-64-7, ,PB176753, J. B. Rosen,
%2Sufficient Conditions for Optimal Control of Convex Processes%1,
29 pages, May 1964.

STAN-CS-64-8, ,AD603116, G. Golub and W. Kahan,
%2Calculating the Singular Values and Pseudo-Inverse of a Matrix%1,
33 pages, May 1964.

STAN-CS-64-9, , AD604012, Charles Anderson,
%2The QD-Algorithm as a Method for Finding the Roots of a Polynomial 
Equation When All Roots are Positive%1,
74 pages, June 1964.

STAN-CS-64-10, ,AD603163, R. L. Causey (Thesis),
%2On Closest Normal Matrices%1,
131 pages, June 1964.

STAN-CS-64-11, ,PB176754, T. Nakamura and J. B. Rosen,
%2Elastic-Plastic Analysis of Trusses by the Gradient Projection Method%1,
32 pages, July 1964.

STAN-CS-64-12, ,AD608292, G. Golub and P. Businger,
%2Numerical Methods for Solving Linear Least Squares Problems (and) an Algol
Procedure for Finding Linear Least Squares Solutions%1,
27 pages, August 1964.

STAN-CS-64-13, N65-27058, , V. Pereyra and J. B. Rosen,
%2Computation of the Pseudoinverse of a Matrix of Unknown Rank%1,
28 pages, September 1964.

STAN-CS-64-14, TT-65-61724, , V. A. Efimenko (translated by G. Reiter and C. Moler),
%2On Approximate Calculations of the Eigenvalues and Eigenfunctions of 
Boundary Value Problems in Partial Differential Equations%1,
20 pages, November 1964.

STAN-CS-65-15, ,AD611366, D. W. Grace (Thesis),
%2Computer Search for Non-Isomorphic Convex Polyhedra%1,
137 pages, January 1965.

STAN-CS-65-16, ,AD611427, G. E. Forsythe and G. H. Golub,
%2Maximizing a Second Degree Polynomial on the Unit Sphere%1,
31 pages, February 1965.

STAN-CS-65-17, ,AD611434, G. E. Forsythe and N. Wirth,
%2Automatic Grading Programs%1,
17 pages, February 1965.

STAN-CS-65-18, ,AD612478, V. Pereyra,
%2The Difference Correction Method for Non-Linear Two-Point Boundary Value 
February 1965.

STAN-CS-65-19,TT-65-61839, , M. I. Ageev and J. Maclaren,
%2English Equivalents of Metalinguistic Terms of Russian ALGOL%1,
March 1965.

STAN-CS-65-20, ,PB176755, N. Wirth and H. Weber,
%2EULER:  A Generalition of ALGOL and its Formal Definition%1,
115 pages, April 1965.

STAN-CS-65-21, ,PB176756, D. D. Fisher, J. von der Groeben and J. G. Toole,
%2Vectorgardiographic Analysis by Digital Computer, Selected Results%1,
104 pages, May 1965.

STAN-CS-65-22, ,AD616676, C. B. Moler (Thesis),
%2Finite Difference Methods for the Eigenbales of Laplace's Operator%1,
142 pages, May 1965.

STAN-CS-65-23, ,AD618214, B. D. Rudin (Thesis),
%2Convex Polynomial Approximation%1,
44 pages, June 1965.

STAN-CS-65-24, ,AD616611, V. V. Klyuyev and N. I. Kokovkin Shoherbak (translated 
by G. J. Tee),
%2On the Minimization of the Number of Arithmetic Operations for the 
Solution of Linear Algebraic Systems of Equations%1,
24 pages, June 1965.

STAN-CS-65-25, ,AD618215, P. G. Hodge,
%2Yield-Point Load Determination by Nonlinear Programming%1,
24 pages, June 1965.

STAN-CS-65-26, , not at NTIS, G. E. Forsythe,
%2Stanford University's Program in Computer Science%1,
15 pages, June 1965.

STAN-CS-65-27, ,AD618216, E. A. Volkov (translated by R. Bartels),
%2An Analysis of One Algorithm of Heightened Precision of the Method of Nets 
for the Solution of Poisson's Equation%1,
29 pages, July 1965.

STAN-CS-65-28, ,AD618217, J. Miller and G. Strang,
%2Matrix Theorems for Partial Differential an Difference Equations%1,
33 pages, July 1965.

STAN-CS-65-29, ,AD624837, V. Pereyra,
%2On Improving an Approximate Solution of a Functional Equation by Deferred
32 pages, August 1965.

STAN-CS-65-30, ,SS624-829, S. Marchuk (translated by G. J. Tee),
%2The Automatic Construction of Computational Algorithms%1,
56 pages, September 1965.

STAN-CS-65-31, ,SS626-315, P. A. Raviart,
%2On the Approximation of Weak Solutions of Linear Parabolic Equations by a 
Class of Multi-step Difference Methods%1,
55 pages, December 1965.

STAN-CS-65-32, ,SS633-557, R. W. Hockney,
%2Minimum Multiplication Fourier Analysis%1,
53 pages, December 1965.

STAN-CS-65-33, ,PB176763, N. Wirth,
%2A Programming Language for the 360 Computers%1,
23 pages, December 1965.

STAN-CS-66-34, ,SS630-998, J. M. Varah,
%2Eigenvectors of a Real Matrix by Inverse Iteration%1,
24 pages, February 1966.

STAN-CS-66-35, ,PB176758, N. Wirth and C. Hoare,
%2A Contribution to the Development of ALGOL%1,
64 pages, February 1966.

STAN-CS-66-36, ,PB176759, J. F. Traub,
%2The Calculation of Zeros of Polyynomials and Analytic Functions%1,
26 pages, April 1966.

STAN-CS-66-37, ,PB176789, J. D. Reynolds,
%2Cogent 1.2 Operations Manual%1,
33 pages, April 1966.

STAN-CS-66-38, AIM-40, AD662880, J. McCarthy and J. Painter,
%2Correctness of a Compiler for Arithmetic Expressions%1,
13 pages, April 1966.

STAN-CS-66-39, ,PB176760, G. E. Forsythe,
%2A University's Educational Program in Computer Science%1,
26 pages, May 1966.

STAN-CS-66-40, ,AD639052, G. E. Forsythe,
%2How Do You Solve a Quadratic Equation?%1,
19 pages, June 1966.

STAN-CS-66-41, ,SS638-976, W. Kahan,
%2Accurate Eigenvalues of a Symmetric Tri-Diagonal Matrix%1,
53 pages, July 1966.

STAN-CS-66-42, ,SS638-797, W. Kahan,
%2When to Neglect Off-Diagonal Elements of Symmetric Tri-Diagonal Matrices%1,
10 pages, July 1966.

STAN-CS-66-43, ,SS638-798, W. Kahan and J. Varah,
%2Two Working Algorithms for the Eigenvalues of a Symmetric Tri-Diagonal 
28 pages, August 1966.

STAN-CS-66-44, ,SS638-818, W. Kahan,
%2Relaxation Methods for an Eigenvalue Problem%1,
35 pages, August 1966.

STAN-CS-66-45, ,SS638-799, W. Kahan,
%2Relaxation Methods for Semi-Definite Systems%1,
31 pages, August 1966.

STAN-CS-66-46, ,SS638-809, G. E. Forsythe,
%2Today's Computational Methods of Linear Algebra%1,
47 pages, August 1966.

STAN-CS-66-47, ,PB173335, P. Abrams,
%2An Interpreter for 'Inverson Notation' %1,
61 pages, August 1966.

STAN-CS-66-48, ,SS639-166, W. M. McKeeman (Thesis),
%2An Approach to Computer Language Design%1,
124 pages, August 1966.

STAN-CS-66-49, AIM-43, SS640-836, D. R. Reddy (Thesis),
%2An Approach to Computer Speech Recognition by Direct Analysis of Speech 
143 pages, September 1966.

STAN-CS-66-50, AIM-46, PB176761, S. Persson (Thesis),
%2Some Sequence Extrapulating Programs:  A Study of Representation and 
Modelling in Inquiring Systems%1,
176 pages, September 1966.

STAN-CS-66-51, ,AD648394, S. Bergman, J. G. Herriot and T. G. Kurtz,
%2Numerical Calculation of Transonic Flow Patterns%1,
35 pages, October 1966.

STAN-CS-66-52, ,PB176762, A. C. Shaw,
%2Lecture Notes on a Course in Systems Programming%1,
216 pages, December 1966.

STAN-CS-66-53, ,PB176757, N. Wirth,
%2A Programming Language for the 360 Computers%1,
81 pages, December 1966.

STAN-CS-67-54, ,AD662882, G. Golub and T. N. Robertson,
%2A Generalized Bairstow Algorithm%1,
10 pages, January 1967.

STAN-CS-67-55, ,AD647200, D. A. Adams,
%2A Stopping Criterion for Polynomial Root Finding%1,
11 pages, February 1967.

STAN-CS-67-56, ,PB176764, F. L. Bauer,
%2QD-Method with Newton Shift%1,
6 pages, March 1967.

STAN-CS-67-57, ,PB176765, D. Gries,
%2The Use of Transition Matrices in Compiling%1,
60 pages, March 1967.

STAN-CS-67-58, ,PB176766, V. Tixier (Thesis),
%2Recursive Functions of Regular Expressions in Language Analysis%1,
146 pages, March 1967.

STAN-CS-67-59, ,SS650-116, J. H. Wilkinson,
%2Almost Diagonal Matrices with Multiple or Close Eigenvalues%1,
18 pages, April 1967.

STAN-CS-67-60, ,SS650-117, J. H. Wilkinson,
%2Two Algorithms Based on Successive Linear Interpolation%1,
13 pages, April 1967.

STAN-CS-67-61, ,SS650-610, G. E. Forsythe,
%2On the Asymptotic Directions of the S-Dimensional Optimum Gradient Method%1,
43 pages, April 1967.

STAN-CS-67-62, ,SS650-620, M. Tienari,
%2Varying Length Floating Point Arithmetic:  A Necessary Tool for the 
Numerical Analyst%1,
38 pages, April 1967.

STAN-CS-67-63, ,SS650-627, G. Polya,
%2Graeffe's Method for Eigenvalues%1,
9 pages, April 1967.

STAN-CS-67-64, ,SS651-201, P. Richman,
%2Floating-Point Number Representations:  Base Choice Versus Exponent Range%1,
32 pages, April 1967.

STAN-CS-67-65, ,PB176767, N. Wirth,
%2On Certain Basic Concepts of Programming Languages%1,
30 pages, May 1967.

STAN-CS-67-66, ,AD652921, J. M. Varah (Thesis),
%2The Computation of Bounds for the Invariant Subspaces of a General 
Matrix Operator%1,
240 pages, May 1967.

STAN-CS-67-67, ,AD652992, R. H. Bartels and G. H. Golub,
%2Computational Considerations Regarding the Calculation of Chebyshev 
Solutions for  Over-Determined Linear Equations Systems by the Exchange 
63 pages, June 1967.

STAN-CS-67-68, ,PB176768, N. Wirth,
%2The PL 360 System%1,
63 pages, June 1967.

STAN-CS-67-69, ,PB176769, J. Feldman and D. Gries,
%2Translator Writing Systems%1,
127 pages, June 1967.

STAN-CS-67-70, ,AD655472, S. Bergman, J. G. Herriot and P. L. Richman,
%2On Computation of Flow Patterns of Compressible Fluids in the Transonic 
77 pages, July 1977.

STAN-CS-67-71, ,AD655230, M. A. Jenkins and J. F. Traub,
%2An Algorithm for an Automatic General Polynomial Solver%1,
38 pages, July 1967.

STAN-CS-67-72, ,PB175581, G. H. Golub and L. B. Smith,
%2Chebysev Approximation of Continuous Functions by a Chebyshev Systems 
of Functions%1,
54 pages, July 1967.

STAN-CS-67-73, ,AD662883, P. Businger and G. H. Golub,
%2Least Squares, Singular Values and Matrix Approximations (and) an ALGOL 
Procedure for Computing the Singular Value Decomposition%1,
12 pages, July 1967.

STAN-CS-67-74, ,AD657639, G. E. Forsythe,
%2What is a Satisfactory Quadratic Equation Solver?%1,
9 pages, August 1967.

STAN-CS-67-75, ,PB175793, F. L. Bauer,
%2Theory of Norms%1,
136 pages, August 1967.

STAN-CS-67-76, ,AD657450, P. M. Anselone,
%2Collectively Compact Operator Approximations%1,
60 pages, April 1967.

STAN-CS-67-77, ,PB176770, G. E. Forsythe,
%2What To Do Till The Computer Scientist Comes%1,
13 pages, September 1967.

STAN-CS-67-78, ,PB176771, K. M. Colby and H. Enea,
%2Machine Utilization of the Natural Language Word 'Good' %1,
8 pages, September 1967.

STAN-CS-67-79, ,AD662884, R. W. Doran,
%2360 U.S. Fortran IV Free Field Input/Output Subroutine Package%1,
21 pages, October 1967.

STAN-CS-67-80, ,AD662902, J. Friedman,
%2Directed Random Generation of Sentences%1,
30 pages, October 1967.

STAN-CS-67-81, ,AD661217, G. H. Golub and J. H. Welsch,
%2Calculation of Gauss Quadrature Rules%1,
28 pages, November 1967.  

STAN-CS-67-82, ,PB176775, L. Tesler, H. Enea and K. M. Colby,
%2A Directed Graph Representation for Computer Simulation of Belief Systems%1,
31 pages, December 1967.

STAN-CS-68-83, ,AD664237, A. Bjorck and G. Golub,
%2Iterative Refinements of Linear Squares Solutions by House-Holder 
28 pages, January 1968.

STAN-CS-68-84, ,AD692680, J. Friedman,
%2A Computer System for Transformational Grammar%1,
31 pages, January 1968.

STAN-CS-68-85, ,PB177426, K. M. Colby,
%2Computer-Aided Language Development in Nonspeaking Mentally Disturbed 
35 pages, December 1968.

STAN-CS-68-86, ,PB179162, H. R. Bauer, S. Becker and S. L. Graham,
%2ALGOL With Programming%1,
90 pages, January 1968.

STAN-CS-68-87, ,PB178176, J. Ehrman,
%2CS 139 Lecture Notes Part 1, Sections 1 thru Preliminary Version%1,
188 pages, 1968.

STAN-CS-68-88, ,AD665672, S. Schechter,
%2Relaxation Methods for Convex Problems%1,
19 pages, February 1968.

STAN-CS-68-89, ,PB180920, H. R. Bauer, S. Becker and S. L. Graham,
%2ALGOL W (revised)%1,
42 pages, March 1968.

STAN-CS-68-90, ,PB178177, V. R. Lesser,
%2A Multi-Level Computer Organization Designed to Separate Data Accessing 
from the Computation%1,
20 pages, March 1968.

STAN-CS-68-91, ,PB178114, N. Wirth, J. W. Wells, Jr. and E. H. Stterthwaite, Jr.,
%2The PL360 System%1,
89 pages, April 1968.

STAN-CS-68-92, ,PB178078, H. Enea,
18 pages, March 1968.

STAN-CS-68-93, ,PB178078, G. E. Forsythe,
%2Computer Science and Education%1,
50 pages, March 1968.

STAN-CS-68-94, SLACR-84, , A. C. Shaw (Thesis),
%2The Formal Description and Parsing of Pictures%1,
205 pages, April 1968.

STAN-CS-68-95, , not at NTIS, J. Friedman and R. W. Doran,
%2A Formal Syntax for Transformational Grammar%1,
47 pages, March 1968.

STAN-CS-68-96, ,AD673673, L. B. Smith,
%2Interval Arithmetic Determinant Evalation and its Use in Testing for a
Chebyshev System%1,
26 pages, April 1968.

STAN-CS-68-97, , not at NTIS, W. F. Miller,
%2Research in the Computer Science Department at Stanford University%1,
49 pages, April 1968.

STAN-CS-68-98, ,PB179162, H. Bauer, S. Becker and S. Graham,
%2ALGOL With Implementation%1,
147 pages, May 1968.

STAN-CS-68-99, ,PB179057, J. Friedman,
%2Lecture Notes on Foundations for Computer Science%1,
212 pages, June 1968.

.next page
.once center <<100 - 199>>
%3Reports 100 thru 199%1

STAN-CS-68-100, ,PB178877, T. H. Bredt,
%2A Computer Model of Information Processing in Children%1,
60 pages, June 1968.

STAN-CS-68-101, AIM-60, AD672923, D. M. Kaplan (Thesis),
%2The Formal Theoretic Analysis of Stront Equivalence for Elemental 
263 pages, June 1968.

STAN-CS-68-102, ,AD677982, A. Pnueli,
%2Integer Programming Over a Cone%1,
29 pages, July 1968.

STAN-CS-68-103, ,AD692689, T. H. Bredt and J. Friedman,
%2Lexical Insertion in Transformational Grammar%1,
47 pages, June 1968.

STAN-CS-68-104, ,AD673010, R. Bartels,
%2A Numerical Investigation of the Simplex Method%1,
122 pages, July 1968.

STAN-CS-68-105, ,AD673674, P. Richman (Thesis),
138 pages, August 1968.

STAN-CS-68-106, AIM-65, AD673971, B. Huberman (Thesis),
%2A Program to Play Chess End Games%1,
168 pages, August 1968.

STAN-CS-68-107, ,AD668558, M. Jenkins,
%2A Three-Stage Variable-Shift Iteration for Polynomial Zeros and its
Relation to Generalized Rayleigh Interation%1,
46 pages, August 1968.

STAN-CS-68-108,AD692681, J. Friedman (editor),
%2Computer Experiments in Transformational Grammar%1,
36 pages, August 1968.

STAN-CS-68-109, ,AD692690, J. Friedman,
%2A Computer System for Writing and Testing Transformational Grammars -   Final 
14 pages, September 1968.

STAN-CS-68-110, ,PB180920, H. Bauer, S. Becker, S. Graham and E. Satterthwaite,
%2ALGOL W (revised)%1,
103 pages, October 1968.

STAN-CS-68-111, ,AD692691, J. Friedman and T. Martner,
%2Analysis in Transformational Grammar%1,
18 pages, August 1968.

STAN-CS-68-112, ,AD692687, J. Friedman and B. Pollack,
%2A Control Language for Transformational Grammar%1,
51 pages, August 1968.

STAN-CS-68-113, ,PB188705, W. J. Hansen,
%2The Impact of Storage Management on Plex Processing Language 
253 pages, July 1968.

STAN-CS-68-114, ,PB182156, J. George,
%2Calgen, An Interactive Picture Calculus Generation System%1,
75 pages, December 1968,

STAN-CS-68-115, ,AD692686, J. Friedman, T. Bredt, R. Doran, T. Martner and B. Pollack,
%2Programmer's Manual for a Computer System for Transformational Grammar%1,
199 pages, August 1968.

STAN-CS-68-116, AIM-72, AD680036, D. Pieper (Thesis),
%2The Kinematics of Manipulators Under Computer Control%1,
157 pages, October 1968.

STAN-CS-68-117, ,PB182151, D. Adams (Thesis),
%2A Computational Model with Data Flow Sequencing%1,
130 pages, December 1968.

STAN-CS-68-118, AIM-74, AD681027, D. Waterman (Thesis),
%2Machine Learning of Heuristics%1,
235 pages, December 1968.

STAN-CS-68-119, ,AD692681, G. Dantzig, et al.,
%2Mathematical Programming Language%1,
91 pages, May 1968.

STAN-CS-68-120, ,PB182166, E. Satterthwaite,
%2Mutant 0.5:  An Experimental Programming Language%1,
60 pages, February 1968.

STAN-CS-69-121, ,AD682978, C. B. Moler,
%2Accurate Bounds for the Eigenvalues of the Laplacian and Applications
to Rhombical Domains%1,
17 pages, February 1969.  

STAN-CS-69-122, ,AD687450, W. C. Mitchell and D. L. McCraith,
%2Heuristic Analysis of Numerical Variants of the Gram-Schmidt
Orthonormalization Process%1,
21 pages, February 1969.

STAN-CS-69-123, ,AD696982, R. P. Brent,
%2Empirical Evidence for a Proposed Distribution of Small Prime Gaps%1,
18 pages, February 1969.

STAN-CS-69-124, ,AD687719, G. H. Golub,
%2Matrix Decompositions and Statistical Calculations%1,
52 pages, March 1969.

STAN-CS-69-125, AIM-89, AD692390, J. Feldman, J. Horning, J. Gips and S. Reder,
%2Grammatical Complexity and Inference%1,
100 pages, June 1969.  

STAN-CS-69-126, ,AD702898, G. Dantzig,
%2Complementary Spanning Trees%1,
10 pages, March 1969.  

STAN-CS-69-127, AIM-85, AD687720, P. Vicens (Thesis),
%2Aspects of Speech Recognition by Computer%1,
210 pages, April 1969.

STAN-CS-69-128, ,AD687717, G. H. Golub, B. L. Buzbee and C. W. Nielson,
%2The Method of Odd/Even Reduction and Factorization with Application
to Poisson's Equation%1,
39 pages, April 1969.

STAN-CS-69-129, , not at NTIS, W. F. Miller,
%2Research in the Computer Science Department%1,
82 pages, April 1969.  

STAN-CS-69-130, AIM-83, PB183907, R. C. Schank (Thesis),
%2A Conceptual Dependency Representation for a Computer-Oriented
201 pages, March 1969.

STAN-CS-69-131, SLAC-96, , L. B. Smith (Thesis),
%2The Use of Man-Machine Interaction in Data-Fitting Problems%1,
287 pages, March 1969.

STAN-CS-69-132, , , Never Printed.

STAN-CS-69-133, ,AD687718, G. H. Golub and C. Reinsch,
%2Handbook Series Linear Algebra:  Singular Value Decompositions and
Least Sequares Solutions%1,
38 pages, May 1969.

STAN-CS-69-134, ,AD700923, G. H. Golub and M. A. Saunders,
%2Linear Least Squares and Quadratic Programming%1,
38 pages, May 1969.

STAN-CS-69-135, SLACR-102, not at NTIS, D. Gries,
%2Compiler Implementation Language%1,
113 pages, May 1969.

STAN-CS-69-136, SLACR-104, not at NTIS, I. Pohl (Thesis),
%2Bi-Directional and Heuristic Search in Path Problems%1,
157 pages, May 1969.

STAN-CS-69-137, ,AD698801, P. Henrici,
%2Fixed Points of Analytic Functions%1,
7 pages, July 1969.  

STAN-CS-69-138, AIM-96, AD696394, C. C. Green (Thesis),
%2The Application of Theorem Proving to Question-Answering Systems%1,
162 pages, June 1969.

STAN-CS-69-139, AIM-98, AD695401, J. J. Horning (Thesis),
%2A Study of Grammatical Inference%1,
166 pages, August 1969.

STAN-CS-69-140, ,AD698799, G. E. Forsythe,
%2Design - Then and Now%1,
15 pages, September 1969.  

STAN-CS-69-141, ,PB188542, G. Dahlquist, S. C. Eisenstat and G. H. Golub,
%2Bounds for the Error of Linear Systems of Equations Using the
Theory of Moments%1,
26 pages, October 1969.

STAN-CS-69-142, , , G. H. Golub and R. Underwood,
%2Stationary Values of the Ratio of Quadratic Forms Subject to
Linear Constraints%1,
22 pages, November 1969.

STAN-CS-69-143, ,AD694464, M. A. Jenkins (Thesis),
%2Three-Stage Variable-Shift for the Solution of Polynomial Equations
with a Posteriori Error Bounds for the Zeros%1
(has also been printed incorrectly as STAN-CS-69-138), 199 pages, August 1969.

STAN-CS-69-144, ,AD698800, G. E. Forsythe,
%2The Maximum and Minimum of a Positive Definite Quadratic Polynomial on
a Sphere are Convex Functions of the Radius%1,
9 pages, July 1969.  

STAN-CS-69-145, ,AD698798, P. Henrici, 
%2Methods of Search for Solving Polynomial Equations%1,
25 pages, December 1969.  

STAN-CS-70-146, , not at NTIS, G. O. Ramos (Thesis),
%2Roundoff Error Analysis of the Fast Fourier Transform%1,
February 1970.  

STAN-CS-70-147, ,AD699897, G. E. Forsythe,
%2Pitfalls in Computation, or Why a Math Book Isn't Enough%1,
43 pages, January 1970.

STAN-CS-70-148, ,PB188749, D. E. Knuth and R. W. Floyd,
%2Notes on Avoiding 'GO TO' Statements%1,
15 pages, January 1970.

STAN-CS-70-149, ,PB188748, D. E. Knuth,
%2Optimum Binary Search Trees%1,
19 pages, January 1970.

STAN-CS-70-150, ,AD699898, J. H. Wilkinson,
%2Elementary Proof of the Wielandt-Hoffman Theorem and of its
Generalization%1, 8 pages, January 1970.  

STAN-CS-70-151, , not at NTIS, E. A. Volkov (translated by G. E. Forsythe),
%2On the Properties of the Derivatives of the Solution of Laplace's
Equation and the Errors of the Method of Finite Differences for
Boundary Values in C(2) and C(1,1)%1,
26 pages, January 1970.  

STAN-CS-70-152, , not at NTIS, S. Gustafson,
%2Rapid Computation of Interpolation Formulae and Mechanical
Quadrature Rules%1, 23 pages, February 1970.  

STAN-CS-70-153, , AD701358,  S. Gustafson,
%2Error Propagation by Use of Interpolation Formulae and Quadrature
Rules which are Computed Numerically%1,
17 pages, February 1970.  

STAN-CS-70-154, , , H. S. Stone,
%2The Spectrum of Incorrectly Decoded Bursts for Cyclic Error Codes%1,
24 pages, February 1970.  

STAN-CS-70-155, ,AD705508, B. L. Buzbee, G. H. Golub and C. W. Nielson,
%2The Method of Odd/Even Reduction and Factorization with Application to
Poisson's Equation, Part II%1, 36 pages, March 1970.

STAN-CS-70-156, ,AD713972, G. B. Dantzig,
%2On a Model for Computing Roundoff Error of a Sum%1,
October 1979.  

STAN-CS-70-157, ,AD705509, R. P. Brent,
%2Algorithms for Matrix Multiplication%1,
54 pages, March 1970.

STAN-CS-70-158, , , H. Stone,
%2Parallel Processing with the Perfect Shuffle%1,
36 pages, March 1970. 

STAN-CS-70-159, ,AD708690, J. A. George,
%2The Use of Direct Methods for the Solution of the Discrete Poisson
Equation on Non-Rectangular Regions%1, 2 pages, June 1970.

STAN-CS-70-160, TR-5, AD707762, T. H. Bredt and E. McCluskey,
%2A Model for Parallel Computer Systems%1,
62 pages, April 1970.

STAN-CS-70-161, SLACR-117, not at NTIS, L. J. Hoffman (Thesis),
%2The Formulary Model for Access Control and Privacy in Computer Systems%1,
81 pages, May 1970. 

STAN-CS-70-162, SLACP-760, AD709564, R. H. Bartels, G. H. Golub and M. A. Saunders,
%2Numerical Techniques in Mathematical Programming%1,
61 pages, May 1970.

STAN-CS-70-163, ,AD708691, H. Malcolm,
%2An Algorithm for Floating-Point Accumulation of Sums with Small Realative
Error%1, 22 pages, June 1970.  

STAN-CS-70-164, ,AD708692, V. I. Gordonova (translated by L. Kaufman),
%2Estimates of the Roundoff Error in the Solution of a System of
Conditional Equations, by V. I. Gordonova%1,
16 pages, June 1970.  

STAN-CS-70-165, , , H. Bauer and H. Stone,
%2The Scheduling of N Tasks with M Operations on Two Processors%1, 34 pages, 
July 1970. 

STAN-CS-70-166, AIM-128, AD713841, E. J. Sandewall,
%2Representing Natural-Language Information in Predicate Calculus%1,
27 pages, July 1970.

STAN-CS-70-167, AIM-129, AD712460, S. Igarashi,
%2Semantics of ALGOL-Like Statements%1,
95 pages, June 1970.

STAN-CS-70-168, AIM-130, AD713252, M. Kelly (Thesis),
%2Visual Identification of People by Computer%1,
138 pages, July 1970.

STAN-CS-70-169, AIM-126, AD711329, D. Knuth,
%2Examples of Formal Semantics%1,
35 pages, August 1970.

STAN-CS-70-170, TR-6, AD711334, T. Bredt,
%2Analysis and Synthesis of Concurrent Sequential Programs%1,
50 pages, May 1970. 

STAN-CS-70-171, TR-8, AD714202, T. Bredt,
%2A Survey of Models for Parrallel Computing%1, 
58 pages, August 1970.

STAN-CS-70-172, TR-7, AD714180, T. Bredt,
%2Analysis of Parallel Systems%1,
59 pages, August 1970.

STAN-CS-70-173, TR-9, AD714181, T. Bredt,
%2The Mutual Exclusion Problem%1, 
68 pages, August 1970.

STAN-CS-70-174, AIM-127, AD711395, Z. Manna and R. Waldinger,
%2Towards Automatic Program Synthesis%1,
55 pages, August 1970.  

STAN-CS-70-175, ,AD713842, M. Malcolm,
%2A Description and Subroutines for Computing Euclidean Inner
Products on the IBM 360%1, 14 pages, October 1970.  

STAN-CS-70-176, AIM-131, AD715128, E. A. Feigenbaum, B. C. Buchanan and J. Lederberg,
%2On Generality and Problem Solving: A Case Study Using the DENDRAL
Program%1, 48 pages, September 1970.

STAN-CS-70-177, ,AD715511, R. W. Floyd and D. E. Knuth,
%2The Bose-Nelson Sorting Problem%1,
16 pages, October 1970.  

STAN-CS-70-178, , not at NTIS, G. Forsythe and W. F. Miller,
%2Research Review%1, 186 pages, October 1970. 

STAN-CS-70-179, AIM-135, AD716566, D. C. Smith,
%2MLISP%1, 99 pages, October 1970.  

STAN-CS-70-180, AIM-132, AD715665, G. Falk (Thesis),
%2Computer Interpretation of Imperfect Line Data as a Three-Dimensional 
Scene%1, 187 pages, October 1970.

STAN-CS-70-181, AIM-133, , A. C. Hearn,
%2Reduce 2 - User's Manual%1,
85 pages, October 1970.

STAN-CS-70-182, AIM-134, AD748565, J. Tenenbaum (Thesis),
%2Accomodation in Computer Vision%1, 
452 pages, Septmeber 1970.

STAN-CS-70-183, AIM-136, AD717600, G. M. White,
%2Machine Learning Through Signature Trees...Application to Human Speech%1,
40 pages, October 1970.

STAN-CS-70-184, ,AD715512, M. Malcolm,
%2A Note on a Conjecture of J. Mordell%1,
5 pages, October 1970.  

STAN-CS-70-185, ,TID22593, E. Nelson,
%2Graph Program Simulation%1,
175 pages, October 1970.

STAN-CS-70-186, AIM-137, AD715513, D. E. Knuth,
%2An Empirical Study of Fortran Programs%1,
50 pages, November 1970.

STAN-CS-70-187, ,AD197154, G. Dantzig et al.,
%2Mathematical Programming Language (MPL) Specification Manual for
Committee Review%1, 82 pages, December 1970.

STAN-CS-70-188, AIM-138, PB197161, E. Ashcroft and Z. Manna,
%2The Translation of 'Go To' Programs to 'While' Programs%1,
28 pages, December 1970.

STAN-CS-70-189, AIM-139, AD717601, Z. Manna,
%2Mathematical Theory of Partial Correctness%1,
24 pages, December 1970.  

STAN-CS-70-190, ,AD719398, J. Hopcroft,
%2An N Log N Algorithm for Minimizing States in a Finite Automaton%1,
12 pages, December 1970.

STAN-CS-70-191, SLACP-904, PB198494, V. Lesser,
%2An Introduction to the Direct Emulation of Control Structures by a
Parallel Micro-Computer%1,
26 pages, December 1970.

STAN-CS-70-192, ,AD719399, J. Hopcroft,
%2An N Log N Algorithm for Isomorphism of Planar Triply Connected Graphs%1,
6 pages, December 1970.  

STAN-CS-70-193, AIM-140, not at NTIS, R. Schank,
%2Intention, Memory and Computer Understanding%1,
59 pages, December 1970.

STAN-CS-70-194, ,PB198495, D. E. Knuth,
%2The Art of Computer Programming - Errata et Addenda%1,
28 pages, December 1970.

STAN-CS-70-195, ,723871, B. L. Buzbee, F. W. Dorr, A. George and G. H. Golub,
%2The Direct Solution of the Discrete Poisson Equation on Irregular
Regions%1, 30 pages, December 1970.  

STAN-CS-70-196, ,AD725167, C. B. Moler,
%2Matrix Computations with Fortran and Paging%1,
13 pages, December 1970.  

STAN-CS-71-197, , not at NTIS, D. E. Knuth and R. L. Sites,
%2Mix/360 User's Guide%1,
11 pages, January 1971.  

STAN-CS-71-198, ,AD726170, R. Brent (Thesis),
%2Algorithms for Finding Zeros and Extrema of Functions without Calculating
250 pages, February 1971.

STAN-CS-71-199, ,PB198415, Staff,
%2Bibliography of Stanford Computer Science Reports 1963-1971%1,
28 pages, February 1971.

.next page
.once center <<200 - 299>>
%3Reports 200 thru 299%1

STAN-CS-71-200, ,PB198416, J. G. Herriot and C. H. Peinsch,
%2ALGOL 60 Procedures for the Calculation of Interpolating Natural Spline
30 pages, February 1971.

STAN-CS-71-201, ,AD722434, J. Hopcroft and R. Tarjan,
%2Planarity Testing in V Log V Steps: Extended Abstracts%1,
18 pages, February 1971.

STAN-CS-71-202, SLAC-117, not at NTIS, H. J. Saal and W. Riddle,
%2Communicating Semaphores%1,
21 pages, February 1971.

STAN-CS-71-203, AIM-141, AD730506, B. Buchanan, E. Feigenbaum and J. Lederberg,
%2The Heuristic DENDRAL Program for Explaining Empirical Data%1,
20 pages, February 1971.

STAN-CS-71-204, ,PB198510, D. Ingalls,
%2FETE - a Fortran Execution Time Estimator%1,
12 pages, February 1971.

STAN-CS-71-205, AIM-142, AD731383, Robin Milner,
%2An Algebraic Definition of Simulation Between Programs%1,
20 pages, March 1971.

STAN-CS-71-206, ,AD726158, D. E. Knuth,
%2Mathematical Analysis of Algorithms%1,
26 pages, March 1971.

STAN-CS-71-207, ,AD726169, J. Hopcroft and R. Tarjan,
%2Efficient Algorithms for Graph Manipulation%1,
19 pages, March 1971.

STAN-CS-71-208, ,AD726171, J. A. George (Thesis),
%2Computer Implementation of the Finite Element Method%1,
220 pages, March 1971.

STAN-CS-71-209, AIM-143, AD724867, J. McCarthy and Staff,
%2Project Technical Report%1,
80 pages, March 1971.

STAN-CS-71-210, ,PB201917, J. Gerry Purdy,
%2Access - a Program for the Catalog and Access of Information%1,
28 pages, March 1971.

STAN-CS-71-211, ,AD727104, M. Malcolm,
%2An Algorithm to Reveal Properties of Floating-Point Arithmetic%1,
8 pages, March 1971.  

STAN-CS-71-212, ,AD727107, M. A. Morgana,
%2Time and Memory Requirements for Solving Linear Systems%1,
7 pages, March 1971.  

STAN-CS-71-213, ,PB201629, R. Tarjan,
%2The Switchyard Problem: Sorting Using Networks of Queues and Stacks%1,
13 pages, April 1971.  

STAN-CS-71-214, ,AD727108, R. L. Graham, D. E. Knuth and T. S. Motzkin,
%2Complements and Transitive Closures%1,
6 pages, April 1971.  

STAN-CS-71-215, ,AD727115, M. Malcolm,
%2PL360 (Revised) - a Programming Language for the IBM 360%1,
91 pages, May 1971.

STAN-CS-71-216, AIM-147, AD732457, R. E. Kling,
%2Reasoning by Analogy with Applications to Heuristics Problem Solving:
a Case Study%1,
180 pages, May 1971.

STAN-CS-71-217, AIM-148, AD731730, E. A. Ashcroft, Z. Manna and A. Pnueli,
%2Decidable Properties of Monadic Functional Schemas%1,
9 pages, May 1971.  

STAN-CS-71-218, ,AD731038, N. G. Debruijn, D. E. Knuth and S. O. Rice,
%2The Average Height of Plane Trees%1,
7 pages, May 1971.  

STAN-CS-71-219, AIM-144, not at NTIS, Lynn Quam (Thesis),
%2Computer Comparison of Pictures%1,
120 pages, May 1971.  

STAN-CS-71-220, TR-14, AD727116, Harold Stone,
%2Dynamic Memories with Enhanced Data Access%1,
32 pages, February 1971.  

STAN-CS-71-221, AIM-145, AD731729, B. G. Buchanan, E. Feigenbaum and J. Lederberg,
%2A Heuristic Programming Study of Theory Formation in Science%1,
41 pages, June 1971.

STAN-CS-71-222, , PB235417/AS, W. J. Meyers (Thesis),
%2Linear Representation of Tree Structure (a Mathematical Theory of
Parenthesis-Free Notations)%1,
245 pages, June 1971.

STAN-CS-71-223, ,PB203429, Susan Graham (Thesis),
%2Precedence Languages and Bounded Right Context Languages%1,
192 pages, July 1971.

STAN-CS-71-224, AIM-146, PB212183, A. Ershov,
%2Parallel Programming%1,
15 pages, July 1971.

STAN-CS-71-225, ,PB203344, Ake Bjorck and Gene Golub,
%2Numerical Methods for Computing Angles Between Linear Subspaces%1,
30 pages, July 1971.

STAN-CS-71-226, SLAC-133, , J. E. George,
%2SIMPLE - A Simple Precedence Translator Writing System%1,
92 pages, July 1971.

STAN-CS-71-227, SLAC-134, , J. E. George (Thesis),
%2GEMS - A Graphical Experimental Meta System%1,
184 pages, July 1971.

STAN-CS-71-228, ,PB203343, Linda Kaufman,
%2Function Minimization and Automatic Therapeutic Control%1,
30 pages, July 1971.

STAN-CS-71-229, ,AD732766, E. H. Lee and G. E. Forsythe,
%2Variational Study of Nonlinear Spline Curves%1,
22 pages, August 1971.

STAN-CS-71-230, ,PB203601, R. L. Sites,
%2ALGOL With Reference Manual%1,
141 pages, August 1971.

STAN-CS-71-231, AIM-149, AD732644, Rod Schmidt (Thesis),
%2A Study of the Real-Time Control of a Computer Driven Vehicle%1,
180 pages, August 1971.

STAN-CS-71-232, ,AD733073, C. B. Moler and G. W. Steward,
%2An Algorithm for the Generalized Matrix Eigenvalue Problem%1,
50 pages, August 1971.

STAN-CS-71-233, ,not at NTIS, Wayne Wilner,
%2Declarative Semantic Definition%1,
211 pages, August 1971.

STAN-CS-71-234, ,not at NTIS, Gene H. Golub,
%2Some Modified Eigenvalue Problems%1,
38 pages, September 1971.

STAN-CS-71-235, AIM-150, not at NTIS, R. W. Floyd,
%2Toward Iterative Design of Correct Programs%1,
12 pages, September 1971.

STAN-CS-71-236, ,AD737648, G. H. Golub and George Styan,
%2Numerical Computation for Univeariate Linear Models%1,
35 pages, September 1971.

STAN-CS-71-237, TR-16, AD737270, D. C. Van Voorhis,
%2A Generalization of the Divide-Sort-Merge Strategy for Sorting Networks%1,
67 pages, September 1971.

STAN-CS-71-238, TR-17, AD735901, D. C. Van Voorhis,
%2A Lower Bound for Sorting Networks That Use the Divide-Sort-Merge Strategy%1,
13 pages, September 1971.

STAN-CS-71-239, TR-18, AD736610, D. C. Van Voorhis,
%2Large [g.d.] Sorting Networks%1,
84 pages, September 1971.

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

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

STAN-CS-71-242, AIM-153, AD738569, Patrick Hayes,
%2The Frame Problem and Related Problems in AI%1,
24 pages, November 1971.

STAN-CS-71-243, AIM-154, AD738570, Z. Manna, S. Ness and J. Vuillemin,
%2Inductive Methods for Proving Properties of Programs%1,
24 pages, November 1971.

STAN-CS-71-244, ,AD738027, R. Tarjan (Thesis),
%2An Efficient Planarity Algorithm%1,
154 pages, November 1971.

STAN-CS-71-245, AIM-155, not at NTIS, John Ryder (Thesis),
%2Heuristic Analysis of Large Trees as Generated in the Game of Go%1,
350 pages, November 1971.

STAN-CS-71-246, AIM-156, AD740141, Ken Colby, S. Weber, Frank Hilf and H. Kraemer,
%2A Resemblance Test for the Validation of a Computer Simulation of Paranoid
Processing%1, 30 pages, November 1971.  

STAN-CS-71-247, AIM-157, not at NTIS, Yorick Wilks,
%2On Small Head -- Some Remarks on the Use of 'Model' in Linguistics%1,
16 pages, December 1971.

STAN-CS-71-248, ,AD739335, Michael Fredman and Donald Knuth,
%2Recurrence Relations Based on Minimization%1,
35 pages, December 1971.

STAN-CS-71-249, ,not at NTIS, Bary Pollack,
%2An Annotated Bibliography on the Construction of Compilers%1,
140 pages, December 1971.

STAN-CS-71-250, AIM-158, AD740127, Ashok Chandra and Zohar Manna,
%2Program Schemas with Equality%1,
13 pages, December 1971.  

STAN-CS-72-251, TR-19, AD736814, Harold Stone, 
%2An Efficient Parallel Algorithm for the Solution of a Tridiagonal Linear
System of Equation%1, 24 pages, January 1972.

STAN-CS-72-252, SU326 P30 14, , M. A. Saunders,
%2Large-Scale Linear Programming Using the Cholesky Factorization%1,
40 pages, January 1972.

STAN-CS-72-253, AIM-159, not at NTIS, J. A. Feldman and P. C. Shields, %2Total
Complexity and the Inference of Best Programs%1, January 1972.  

STAN-CS-72-254, , AD740330, G. E. Forsythe, %2Von Neumann's Comparison Method
for Random Sampling from the Normal and Other Distributions%1, 19 pages,
January 1972.

STAN-CS-72-255, AIM-160, AD740140, J. A. Feldman, %2Automatic Programming%1,
20 pages, January 1972.

STAN-CS-72-256, ,AD740331, V. Chvatal, %2Edmonds Polyhedra and Weakly
Hamiltonian Graphs%1, 22 pages, January 1972.

STAN-CS-72-257, ,PB208519, N. Wirth, %2On Pascal, Code Generation, and
the CDC 6000 Computer%1, 39 pages, February 1972.

STAN-CS-72-258, ,AD740332, Harold Brown, %2Some Basic Machine Algorithms
for Integral Order Computations%1, 15 pages, February 1972.  

STAN-CS-72-259, ,PB208595, Clark A. Crane (Thesis), %2Linear Lists and Priority
Queues as Balanced Binary Trees%1, 131 pages, February 1972.

STAN-CS-72-260, ,AD740110, Vaughan R. Pratt (Thesis), %2Shellsort and
Sorting Networks%1, 59 pages, February 1972.

STAN-CS-72-261, SU326 P30 15, , Gene H. Golub and Victor Pereyra,
%2The Diffenentiation of Pseudoinverses and Nonlinear Least Squares
Whose Variables Separate%1, 35 pages, February 1972.

STAN-CS-72-262, ,PB209357, Staff, %2Bibliography%1, 36 pages, February 1972.

STAN-CS-72-263, ,AD741189, David A. Klarner and Ronald Rivest,
%2A Procedure for Improving the Upper Bound for the Number of n-Ominoes%1,
31 pages, February 1972.

STAN-CS-72-264, AIM-161, AD741189, Yorick Wilks, %2Artificial Intelligence
Approach to Machine Translation%1, 42 pages, February 1972.

STAN-CS-72-265, AIM-162, AD744634, Neil Goldman, Roger Shank, Chuck Rieger and
Chris Riesbeck, %2Primitive Concepts Underlying Verbs of Thought%1,
80 pages, February 1972.

STAN-CS-72-266, AIM-163, not at NTIS, Jean Cadiou (Thesis), %2Recursive Definitions of Partial
and Functions and Their Computation%1, 160 pages, March 1972.

STAN-CS-72-267, , PB209629, Pierre E. Bonzon, %2MPL (An Appraisal Based on
Practical Experiment)%1, 26 pages, March 1972.

STAN-CS-72-268, , AD742348, V. Chvatal, %2Degrees and Matchings%1,
16 pages, March 1972.

STAN-CS-72-269, , AD742747, David Klarner and R. Rado,
%2Arithmetic Properties of Certain Recursively Defined Sets%1, 30 pages,
March 1972.

STAN-CS-72-270, , PB209616, G. Golub, J. H. Wilkinson and R. Underwood,
%2The Lanczos Algorithm for the Symmetric Ax = λ Bx Problem%1,
21 pages, Marcy 1972.

STAN-CS-72-271, , not at NTIS, William E. Riddle (Thesis), %2The Modeling and
Analysis of Supervisory Systems%1, 174 pages, March 1972.

STAN-CS-72-272, AIM-164, AD742748, Zohar Manna and J. Vuillemin,
%2Fixedpoint Approach to the Theory of Computation%1,
25 pages, March 1972.  

STAN-CS-72-273, , PB209806, V. Chvatal and J. Sichler,
%2Chromatic Automorphisms of Graphs%1, 12 pages, March 1972.  

STAN-CS-72-274, , AD742749, D. Klarner and Richard Rado,
%2Linear Combinations of Sets of Consecutive Integers%1,
12 pages, March 1972.  

STAN-CS-72-275, , AD742750, David A. Klarner,
%2Sets Generated by Iteration of a Linear Operation%1,
16 pages, March 1972.  

STAN-CS-72-276, , AD745022, Linda Kaufman (Thesis),
%2A Generalized LR Method to Solve Ax = Bx%1, 70 pages, April 1972.

STAN-CS-72-277, SLAC-149, not at NTIS, C. T. Zahn,
%2Region Boundaries on a Triangular Grid%1, 40 pages, April 1972.

STAN-CS-72-278, , SU326 P30-17, Paul Concus and Gene H. Golub,
%2Use of Fast Direct Methods for the Efficient Numerical Solution of Nonseparable
Elliptic Equations%1, April 1972.

STAN-CS-72-279, , AD744313, Michael Osborne,
%2Topics in Optimization%1, 143 pages, April 1972.

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

STAN-CS-72-281, AIM-166, AD743598, Lynn Quam, Sydney Liebes,
Robert Tucker, Marsha Jo Hanna and Botond Eross, %2Computer Interactive
Picture Processing%1, 41 pages, April 1972.  

STAN-CS-72-282, AIM-167, AD747254, Ashok K. Chandra,
%2Efficient Compilation of Linear Recursive Programs%1, 40 pages, April 1972.

STAN-CS-72-283, , not at NTIS, David R. Stoutemyer,
%2Numerical Implemtation of the Schwarz Alternating Procedure for Elliptic
Partial Differential Equations%1, 131 pages, May 1972.

STAN-CS-72-284, O.R. 72-6, AD745778, V Chvatal,
%2Edmonds Polyhedra and a Hierarchy of Combinatorial Problems%1, 49 pages, 
May 1972.  

STAN-CS-72-285, , PB210910, Robert Floyd and Alan J. Smith,
%2A Linear Time Two Tape Merge%1, 16 pages, May 1972.  

STAN-CS-72-286, , PB211036, Ashok K. Chandra,
%2On the Solution of Moser's Problem in 4 Dimensions, and Related Issues%1,
32 pages, May 1972.  

STAN-CS-72-287, AIM-168, AD746146, Shigaru Igarashi,
%2Admissibility of Fixed-Point Induction in First-Order Logic of Typed Theories%1,
36 pages, May 1972.  

STAN-CS-72-288, AIM-169, not at NTIS, Robin Milner,
%2Logic for Computable Functions: Description of a Machine Implementation%1,
36 pages, May 1972.

STAN-CS-72-289, AIM-170, AD748607, Yorick Wilks,
%2Lakoff on Linquistics and Natural Logic%1, 20 pages, June 1972.

STAN-CS-72-290, AIM-171, AD746147, Roger Schank,
%2Adverbs and Beliefs%1, 30 pages, June 1972.

STAN-CS-72-291, , AD746189, Donald E. Knuth,
%2Some Combinatorial Lemmas%1, 21 pages, June 1972.  

STAN-CS-72-292, , AD746150, V. Chvatal, D. A. Klarner and D. E. Knuth,
%2Selected Combinatorial Research Problems%1, 31 pages, June 1972.

STAN-CS-72-293, TN-32, PB212234, J. A. Lukes (Thesis),
%2Combinatorial Solutions to Partitioning Problems%1, 130 pages, June 1972.

STAN-CS-72-294, SLACP-1072, , Harry J. Saal and Leonard J. Shustek,
%2Microprogrammed Implementation of Computer Measurement Techniques%1,
20 pages, June 1972.

STAN-CS-72-295, , PB212130, C. C. Paige,
%2Bidiagonalization of Matrices and Solution of Linear Equations%1,
27 pages, June 1972.

STAN-CS-72-296, , AD748606, Michael L. Fredman (Thesis),
%2Growth Properties of a Class of Recursively Defined Functions%1, 84 pages,
June 1972.

STAN-CS-72-297, , PB212300, C. C. Paige,
%2An Error Analysis of a Method for Solving Matrix Equations%1, 13 pages,
June 1972.

STAN-CS-72-298, TR-25, , P. M. Kogge and H. S. Stone,
%2A Parallel Algorithm for the Efficient Solution of a General Class of
Recurrence Equations%1, 33 pages, July 1972.

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

.next page
.once center <<300 - 399>>
%3Reports 300 thru 399%1

STAN-CS-72-300, TN-17, Ad749848, Marc T. Kaufman,
%2Counterexample of a Conjecture of Fujii, Kasami and Ninomiya%1,
5 pages, July 1972.  

STAN-CS-72-301, , SU326 P30-21, Michael A. Saunders,
%2Product Form of the Cholesky Factorization for Large-Scale Linear Programming%1,
35 pages, July 1972.

STAN-CS-72-302, , SU326 P30-19, G. H. Golub,
%2Some Uses of the Lanczos Algorithm in Numerical Linear Algebra%1, 23 pages,
August 1972.

STAN-CS-72-303, AIM-174, PB212827, F. Lockwood Morris (Thesis),
%2Correctness of Translations of Programming Languages - an Algebraic Approach%1,
125 pages, August 1972.

STAN-CS-72-304, , SU326 P30-20, R. S. Anderssen and G. H. Golub,
%2Richardson's Non-Stationary Matrix Iterative Procedure%1, 76 pages, August 1972.

STAN-CS-72-305, AIM-173, AD755139, Gerald Agin (Thesis),
%2Representation and Description of Curved Objects%1, 125 pages, August 1972.

STAN-CS-72-306, , SU326 P23-X-2, Bary W. Pollack,
%2A Bibliography on Computer Graphics%1, 145 pages, August 1972.

STAN-CS-72-307, AIM-175, not at NTIS, Hozumi Tanaka,
%2Hadamard Transform for Speech Wave Analysis%1, August 1972.

STAN-CS-72-308, AIM-176, AD754109, J. A. Feldman, J. R. Low, R. H. Taylor
and D. C. Swinehart, %2Recent Development in SAIL - an ALGOL Based Language for
Artificial Intelligence%1, 22 pages, August 1972.

STAN-CS-72-309, TR-157, not at NTIS, V. Lesser (Thesis),
%2Dynamic Control Structures and Their Use in Emulation%1, 251 pages, 
August 1972.  

STAN-CS-72-310, TR-34, AD750671, Marc T. Kaufman,
%2Anomalies in Scheduling Unit-Time Tasks%1, 22 pages, September 1972.

STAN-CS-72-311, AIM-177, NAN, Richard Paul (Thesis),
%2Modelling, Trajectory Calculation and Servoing of a Computer Controlled Arm%1,
September 1972.

STAN-CS-72-312, AIM-178, AD754108, Ahron Gill,
%2Visual Feedback and Related Problems in Computer Controlled Hand-Eye
Coordination%1, 134 pages, September 1972.

STAN-CS-72-313, , PB218353/1, Staff,
%2Bibliography of Computer Science Reports%1, 42 pages, September 1972.

STAN-CS-72-314, TR-43, PB212893, Peter M. Kogge (Thesis, Part I),
%2Parallel Algorithms for the Efficient Solution of Recurrence Problems%1,
74 pages, September 1972.

STAN-CS-72-315, TR-44, PB212894, Peter M. Kogge (Thesis, Part II),
%2The Numerical Stability of Parallel Algorithms for Solving Recurrence Problems%1,
49 pages, September 1972.

STAN-CS-72-316, TR-45, PB212828, Peter M. Kogge (Thesis, Part III),
%2Minimal Paralellism in the Solution of Recurrence Problems%1, 45 pages,
September 1972.

STAN-CS-72-317, TR-26, AD750672, S. H. Fuller and F. Baskett,
%2An Analysis of Drum Storage Units%1, 69 pages, October 1972.

STAN-CS-72-318, , AD755140, H. Brown, L. Masinter and L. Hjelmeland,
%2Constructive Graph Labeling Using Double Cosets%1, 50 pages, October 1972.

STAN-CS-72-319, , SU326 P30-22, Gene H. Golub and James M. Varah,
%2On a Characterization of the Best 1↓2 Scaling of a Matrix%1, 14 pages,
October 1972.

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

STAN-CS-72-321, AIM-180, AD759712, Ruzena Bajcsy (Thesis),
%2Computer Identification of Textured Visual Scenes%1, 156 pages, October 1972.

STAN-CS-72-322, , SU326 P30-23, P. E. Gill, G. H. Golub, W. Murray and
M. A. Saunders, %2Methods for Modifying Matrix Factorizations%1, 62 pages,
November 1972.

STAN-CS-72-323, , , Michael A. Malcolm and John Palmer,
%2A Fast Method for Solving a Class of Tri-Diagonal Linear Systems%1 (also
listed on the abstract as %2On the Lu Decomposition of Toeplitz Matrices%1),
11 pages, November 1972.

STAN-CS-72-324, TR-48, PB214612, Henry R. Bauer, III (Thesis),
%2Subproblems of the m X n Sequencing Problem%1, 115 pages, November 1972.

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

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

STAN-CS-72-327, , AD755138, David A. Klarner and Ronald L. Rivest,
%2Asymptotic Bounds for the Number of Convex n-Ominoes%1, 15 pages,
December 1972.

STAN-CS-72-328, TR-31, PB218929, Harold Gabow,
%2An Efficient Implementation of Edmonds' Maximum Matching Algorithm%1,
68 pages, December 1972.

STAN-CS-72-329, , PB218875, Isu Fang (Thesis),
%2Folds, A Declarative Formal Language Definition System%1, 290 pages, December

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

STAN-CS-73-331, AIM-187, AD757364, George Collins,
%2The Computing Time of the Eulidian Algorithm%1, 17 pages, January 1973.

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

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

STAN-CS-73-334, , AD757366, Michael A. Malcolm and Cleve B. Moler,
%2URAND, A Universal Random Number Generator%1, 10 pages, January 1973.

STAN-CS-73-335, , SU326 P30-24, G. Golub and E. Seneta,
%2Computation of the Stationary Distribution of an Infinite Markov Matrix%1,
12 pages, January 1973.  

STAN-CS-73-336, AIM-188, AD758646, Ashok K. Chandra (Thesis),
%2On the Properties and Applications of Program Schemas%1, 225 pages, January 1973.

STAN-CS-73-337, AIM-189, PB218682, James Gips and George Stiny
%2Aestehetics Systems%1, 22 pages, January 1973.

STAN-CS-73-338, , AD759713, David A Klarner,
%2A Finite Basis Theorem Revisited%1, 10 pages, February 1973.

STAN-CS-73-339, , SU326 P30-25, Gene H. Golub and Warren Dent,
%2Computation of the Limited Information Maximum Likelihood Estimator%1,
27 pages, February 1973.

STAN-CS-73-340, AIM-190, AD759714, Malcolm Newey,
%2Notes on a Problem Involving Permutations as Subsequences%1, 20 pages,
March 1973.  

STAN-CS-73-341, AIM-191, AD764272, Shmuel Katz and Zohar Manna,
%2A Heuristic Approach to Program Verification%1, 40 pages, March 1973.

STAN-CS-73-342, , AD759715, Donald Knuth,
%2Matroid Partitioning%1, 12 pages, March 1973.

STAN-CS-73-343, , not at NTIS, David R. Levine (Thesis),
%2Computer-Based Analytic Grading for German Grammar Instruction%1,
220 pages, March 1973.  

STAN-CS-73-344, AIM-183, AD759716, Roger C. Schank,
%2The Fourteen Primitive Actions and Their Inferences%1, 71 pages, March 1973.

STAN-CS-73-345, AIM-192, not at NTIS, George Collins and Ellis Horowitz,
%2The Minimum Root Separation of a Polynomial%1, 25 pages, April 1973.

STAN-CS-73-346, AIM-193, AD759717, Kenneth Mark Colby,
%2The Rational for Computer Based Treatment of Language Difficulties in
Nonspeaking Autistic Children%1, 8 pages, April 1973.

STAN-CS-73-347, AIM-194, PB221170/4, Kenneth M. Colby and Franklin Dennis Hilf,
%2Multi Dimensional Analysis in Evaluating a Simulation of Paranoid Thought
Processes%1, 10 pages, April 1973.  

STAN-CS-73-348, SU326 P30-26, PB222513, V. Pereyra,
%2High Order Finite Difference Solution of Differential Equations%1, 86 pages,
April 1973.

STAN-CS-73-349, , PB221115, Manuel Blum, Robert Floyd, Vaughn Pratt, Ronald Rivest
and Robert Tarjan, %2Time Bounds for Selection%1, Robert Floyd and Ronald Rivest,
%2Expected Time Bounds for Selection%1, 51 pages, April 1973.

STAN-CS-73-350, TR-53, AD761177, Marc T. Kaufman,
%2An Almost-Optimal Algorithm for the Assmbly Line Scheduling Problem%1,
21 pages, April 1973.

STAN-CS-73-351, TR-27. AD761175, Samuel H. Fuller,
%2Performance of an I/O Channel with Multiple Paging Drums%1, 8 pages, April 1973.

STAN-CS-73-352, TR-28, AD761176, Samuel H. Fuller,
%2The Expected Difference Between the SLTF and MTPT Drum Scheduling Disciplines%1,
6 pages, April 1973.  

STAN-CS-73-353, TR-29, AD761185, Samuel H. Fuller,
%2Random Arrivals and MTPT Disc Scheduling Disciplines%1, 7 pages, April 

STAN-CS-73-354, , PB221165/4, David A. Klarner,
%2The Number of SDR's in Certain Regular Systems%1, 7 pages, April 

STAN-CS-73-355, TR-57, AD764598, Thomas G. Price,
%2An Analysis of Central Processor Scheduling in Multiprogrammed Computer
Systems%1, 8 pages, April 1973.

STAN-CS-73-356, AIM-195, PB222164, David Canfield Smith and Horace J. Enea,
%2MLISP2%1, 92 pages, May 1973.

STAN-CS-73-357, AIM-196, AD762471, Neil M. Goldman and Christopher K. Riesbeck,
%2A Conceptually Based Sentence Paraphraser%1, 88 pages, May 1973.

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

STAN-CS-73-359, TN-25, PB222064, Harold Stone,
%2A Note on a Combinatorial Problem of Burnett and Coffman%1, 8 pages, May 1973.

STAN-CS-73-360, TR-33, AD764014, Richard R. Muntz and Forest Baskett,
%2Open, Closed and Mixed Networks of Queues with Different Classes of Customers%1,
40 pages, May 1973.

STAN-CS-73-361, Serra, AD764273, Harold Brown and Larry Masinter,
%2An Algorithm for the Construction of the Graphs of Organic Molecules%1,
25 pages, May 1973.

STAN-CS-73-362, appears in print as STAN-CS-73-398.

STAN-CS-73-363, Serra, PB222099, Linda C. Kaufman (Thesis),
%2The LZ Algorithm to Solve the Generalized Eigenvalue Problem%1, 101 pages,
May 1973.  

STAN-CS-73-364, AIM-198, AD763611, R. B. Thosar,
%2Estimation of Probability Density Using Signature Tables for Application to
Pattern Recognition%1, 36 pages, May 1973.  

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

STAN-CS-73-366, AIM-201, AD763673, Gunnar Rutger Grape (Thesis),
%2Model Bases (Intermediate-Level) Computer Vision%1, 256 pages, May 1973.

STAN-CS-73-367, , AD763601, Ole Amble and Donald E. Knuth,
%2Ordered Hash Tables%1, 34 pages, May 1973.

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

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

STAN-CS-73-370, AIM-205, AD764288, N.S. Sridharan, G. Gelernter, A.J. Hart,
W.F. Fowler and  H.J. Shue, %2A Heuristic Program to Discover Syntheses for
Complex Organic Molecules%1, 30 pages, June 1973.

STAN-CS-73-371, , AD223572/AS, Donald E. Knuth,
%2A review of "Structured Programming"%1, 25 pages, June 1973.  

STAN-CS-73-372, , AD767970, Michael A. Malcolm (Thesis, part II),
%2Nonlinear Spline Functions%1, 60 pages, June 1973.

STAN-CS-73-373, AIM-204, AD765353/BWC, Kurt A. van Lehn (editor),
%2SAIL User Manual%1, 200 pages, June 1973.

STAN-CS-73-374, , AD764275, Michael A. Malcolm (Thesis excerpt),
%2A Machine-Independent ALGOL Procedure for Accurate Floating-Point Summation%1,
5 pages, June 1973.

STAN-CS-73-375, , SU-326 P30-27, D. Fischer, G. Golub, O. Hald, C. Levin and
O. Widlund, %2On Fourier-Toeplitz Methods for Separable Elliptic Problems%1,
30 pages, June 1973.

STAN-CS-73-376, , SU326 P30-28, Gunter Meinardus and G. D. Taylor,
%2Lower Estimates for the Error of Best Uniform Approximation%1, 20 pages, 
June 1973.  

STAN-CS-73-377, AIM-206, AD764652, Yorick Wilks,
%2Preference Semantics%1, 20 pages, June 1973.  

STAN-CS-73-378, AIM-207, AD767333, James Anderson Moorer,
%2The "Optimum-Comb" Method of Pitch Period Analysis in Speech%1, 25 pages,
June 1973.  

STAN-CS-73-379, AIM-208, AD767334, James Anderson Moorer,
%2The Hetrodyne Filter as a Tool  for Analysis of Transient Waveforms%1,
30 pages, June 1973.  

STAN-CS-73-380, AIM-209, AD767695/O WC, Yoram Yakimovsky (Thesis),
%2Scene Analysis Using a Semantic Base for Region Growing%1, 120 pages, June 1973.

STAN-CS-73-381, , AD767694, N. S. Sridharan,
%2Computer Generation of Vertex-Graphs%1, 18 pages, July 1973.

STAN-CS-73-382, AIM-210, AD767335, Zohar Manna and Zmir Pnueli,
%2Axiomatic Approach to Total Correctness of Programs%1, 26 pages, July 

STAN-CS-73-383, AIM-211, AD769673, Yorick Wilks,
%2Natural Language Inference%1, 47 pages, July 1973.

STAN-CS-73-384, AIM-212, AD769379, Annette Herskovits,
%2The Generation of French from a Semantic Representation%1, 50 pages, August

STAN-CS-73-385, AIM-213, not at NTIS, R. B. Thosar,
%2Recognition of Continuous Speech:  Segmentation and Classification Using
Signature Table Adaptation%1, 37 pages, August 1973.  

STAN-CS-73-386, AIM-214, AD767332, W. A. Perkins and T. O. Binford,
%2A Corner Finder for Visual Feed-Back%1, 59 pages, August 1973.

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

STAN-CS-73-388, TR-74, PB226044/AS, R. C. Swanson,
%2Interconnections for Parallel Memories to Unscramble P-Ordered Vectors%1,
52 pages, August 1973.

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

STAN-CS-73-390, , not at NTIS, James Gips,
%2A Construction for the Inverse of a Turing Machine%1, 8 pages, Septermber 1973.

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

STAN-CS-73-392, , , Donald E. Knuth,
%2Sorting and Searching - Errata and Addenda%1, 31 pages, October 

STAN-CS-73-393, AIM-218, AD772063/4WC, Jean Etienne Vuillemin (Thesis),
%2Proof Techniques for Recursive Programs%1, 97 pages, October 1973.

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

STAN-CS-73-395, , , Staff,
%2Bibliography of Computer Science Reports%1, 48 pages, October 1973.

STAN-CS-73-396, AIM-220, AD772064, Robert Bolles and Richard Paul,
%2The Use of Sensory Feedback in a Programmable Assembly System%1, 24 pages,
October 1973.  

STAN-CS-73-397, , SU326 P30-28A, Peter Henrici,
%2Computational Complex Analysis%1, 14 pages, October 1973.

STAN-CS-73-398, AIM-199, AD771300, Bruce G. Baumgart,
%2Image Contouring and Comparing%1, 52 pages, October 1973.  

STAN-CS-73-399, , SU326 P30-29, C. C. Paige and M. A. Saunders,
%2Solution of Spase Indefinite Systems of Equations and Least Squares Problems%1,
47 pages, October 1973.

.next page
.once center <<400 - 499>>
%3Reports 400 thru 499%1

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

STAN-CS-73-401, , PB226691/AS, C. A. R. Hoare,
%2Monitors:  An Operating System Structuring Concept%1, 25 pages, November

STAN-CS-73-402, , PB229616/AS, J. G. Herriot and C. H. Reinsch,
%2ALGOL 60 Precedures for the Calculation of Interpolating Natural Quintic
Spline Functions%1, 40 pages, November 1973.

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

STAN-CS-74-404, , AD775452, N. S. Sridharan,
%2A Catalog of Quadri/Trivalent Graphs%1, 48 pages, January 1974.

STAN-CS-74-405, , not at NTIS, R. Davis and M. Wright,
%2Stanford Computer Science Department:  Research Report%1, 38 pages, January

STAN-CS-74-406, AIM-225, AD775645, W. A. Perkins,
%2Memory Model for a Robot%1, January 1974.

STAN-CS-74-407, AIM-226, AD778310, F. Wright,
%2FAIL Manual%1, 50 pages, February 1974.

STAN-CS-74-408, AIM-227, AD-A003 483, Arthur Thomas and Thomas Binford,
%2Information Processing Analysis of Visual Perception: a review%1,
40 pages, February 1974.

STAN-CS-74-409, AIM-228, AD776233, John McCarthy and Staff,
%2Final Report:  Ten Years of Research in Artificial Intelligence.  An Overview%1,
February 1974.

STAN-CS-74-410, TR-46, PB231926/AS, James L. Peterson (Thesis),
%2Modelling of Parallel Systems%1, 241 pages, February 1974.

STAN-CS-74-411, AIM-229, , D. B. Anderson, T. O. Binford, A. J. Thomas,
R. W. Weyhrauch and Y. A. Wilks, %2After Leibniz...: Discussions on Philosophy
and Artificial Intelligence%1, 50 pages, March 1974.

STAN-CS-74-412, AIM-230, AD786721, Daniel C. Swinehart (Thesis),
%2COPILOT:  A Multiple Process Approach to Interactive Programming Systems%1,
March 1974.

STAN-CS-74-413, AIM-231, AD-A001 814, James Gips (Thesis),
%2Shape Grammars and Their Uses%1, 243 pages, March 1974.

STAN-CS-74-414, AIM-232, AD780452, Bruce G. Baumgart,
%2GEOMED:  A Geometric Editor%1, April 1974.

STAN-CS-74-415, , PB233065/AS, Ronald L. Rivest (Thesis),
%2Analysis of Associative Retrieval Algorithms%1, 109 pages, April 1974.

STAN-CS-74-416, , PB233507/AS, Donald E. Knuth,
%2Structured Programming with "Go To" Statements%1, 100 pages, April 1974.

STAN-CS-74-417, , PB234102/AS, Richard L. Sites,
%2Some Thoughts on Proving That Programs Terminate Cleanly%1, 68 pages,
May 1974.

STAN-CS-74-418, , PB233045/AS, Richard L. Sites (Thesis),
%2Proving That Computer Programs Terminate Cleanly%1, 143 pages, May 1974.

STAN-CS-74-419, AIM-233, AD-A000 086, Charles Rieger III (Thesis),
%2Conceptual Memory:  A Theory and Computer Program for Processing the Meaning
Content of Natural Language Utterances%1, 393 pages, May 1974.

STAN-CS-74-420, TR-50, PB232543/AS, John Wakerly,
%2Partially Self-Checking Circuits and Their Use in Performing Logical
Operations%1, 46 pages, May 1974.

STAN-CS-74-421, TR-51, PB232356/AS, John Wakerly (Thesis),
%2Low-Cost Error Detection Techniques for Small Computers%1, 232 pages,
May 1974.

STAN-CS-74-422, TR-79, NASA-TM-62,370, Harold Stone,
%2Parallel Tri-Diagonal Equation Solvers%1, 42 pages, May 1974.

STAN-CS-74-423, TN-41, PB232860/AS, Gururaj S. Rao,
%2Asymptotic Representation of the Average Number of Active Modules in an N-Way
Interleaved Memory%1, 16 pages, May 1974.

STAN-CS-74-424, TR-80, PB232602/AS, Maurice Schlumberger (Thesis, chapter 1),
%2Logorithmic Communications Networks%1, 38 pages, May 1974.

STAN-CS-74-425, TR-81, PB232598/AS, Maurice Schlumberger (Thesis, chapter 2),
%2Vulnerability of deBruijn Communications Networks%1, 68 pages, May 1974.

STAN-CS-74-426, TR-82, PB232597, Maurice Schlumberger, (Thesis, chapter 3),
%2Queueing Equal Length Messages in a Logorithmic Network%1, 75 pages,
May 1974.

STAN-CS-74-427, TN-36, PB232624/AS, Tomas Lang (Thesis excerpt),
%2Performing the Perfect Schuffle in an Array Computer%1, 18 pages, May 1974.

STAN-CS-74-428, TR-76, PB232633/AS, Tomas Lang (Thesis excerpt),
%2Interconnections Between Precessors and Memory Modules Using the
Schuffle-Exchange Network%1, 32 pages, May 1974.

STAN-CS-74-429, TR-70, PB232623/AS, Samuel E. Orcutt (Thesis excerpt),
%2Efficient Data Routing Schemes for ILLIAC IV-Type Computers%1, 31 pages,
May 1974.

STAN-CS-74-430, TR-71, PB234513/AS, Samuel E. Orcutt (Thesis excerpt),
%2A Novel Parallel Computer Architecture and Some Applications%1, 44 pages,
May 1974.

STAN-CS-74-431, AIM-234, not at NTIS, Kenneth Mark Colby and Roger C. Parkison,
%2Pattern Matching Rules for the Recognition of Natural Language Dialogue
Expressions%1, 23 pages, May 1974.

STAN-CS-74-432, AIM-235, AD-A006 898, Richard Weyhrauch and Arthur Thomas,
%2FOL:  A Proof Checker for First-Order Logic%1, 60 pages, May 1974.  

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

STAN-CS-74-434, , SU326 P30-31, Axel Ruhe and Per Ake Wedin,
%2Algorithms for Separable Nonlinear Least Squares Problems%1, 50 pages,
June 1974.  

STAN-CS-74-435, TR-88, A001-071, Thomas G. Price,
%2Balanced Computer Systems%1, 56 pages, June 1974.

STAN-CS-74-436, AIM-237, AD-A012 477, Yorick Wilks,
%2Natural Language Understanding Systems Within the A.I. Paradigm -- A Survey
and Some Comparisons%1, 25 pages, July 1974.

STAN-CS-74-437, AIM-238, AD-A005 040, C. K. Riesbeck (Thesis),
%2Computational Understanding:  Analysis of Sentences and Context%1,
245 pages, July 1974.

STAN-CS-74-438, AIM-239, AD786720, Marsha Jo Hanna (Thesis),
%2Computer Matching of Areas in Stereo Images%1, 99 pages, July 1974.

STAN-CS-74-439, OR-74-7, SU326 P30-32, Richard W. Cottle, Gene H. Golub and
R. S. Sacher, %2On the Solution of Large, Structured Linear Complementarity
Problems:  III%1, 87 pages, July 1974.

STAN-CS-74-440, , PB237360/AS, James H. Morris, Jr., Vaughn R. Pratt and
Donald E. Knuth, %2Fast Pattern Matching in Strings%1, 32 pages, July 1974.

STAN-CS-74-441, , AD-A000 284, Donald E. Knuth and Ronald W. Moore,
%2An Analysis of Alpha-Beta Pruning%1, 64 pages, July 1974.

STAN-CS-74-442, , AD-A004 208, Donald E. Knuth,
%2Estimating the Efficiency of Backtrack Programs%1, 30 pages, July 1974.

STAN-CS-74-443, , PB-236 471/AS, Douglas K. Brotz (Thesis),
%2Embedding Heuristic Problem Solving Methods in a Mechanical Theorem Prover%1,
107 pages, July 1974.

STAN-CS-74-444, AIM-240, AD787035, C. C. Green, R. J. Waldinger, D. R. Barstow,
R. Elschlager, D. B. Lenat, B. P. McCune, D. E. Shaw and L. I. Steinberg,
%2Progress Report on Program-Understanding Systems%1, 50 pages, July 1974.

STAN-CS-74-445, SLACP-1448, , J. H. Friedman, F. Baskett and L. J. Shustek,
%2A Relatively Efficient Algorithm for Finding Nearest Neighbors%1, 21 pages,
September 1974.

STAN-CS-74-446, AIM-241, AD786723, L. Aiello and R. W. Weyhrauch,
%2LCFsmall:  An Implementation of LCF%1, 45 pages, September 1974.  

STAN-CS-74-447, AIM-221, AD787631, L. Aiello, M. Aiello and R. W. Weyhrauch,
%2Semantics of Pascal in LCF%1, 78 pages, September 1974.

STAN-CS-74-448, , SU326 P30-33, D. Goldfarb,
%2Matrix Factorizations in Optimization of Nonlinear Functions Subject to
Linear Constraints%1, 45 pages, September 1974.  

STAN-CS-74-449, TR-89, AD785027, A. Smith (Thesis),
%2Performance Analysis of Computer Systems Components%1, 323 pages,
September 1974.

STAN-CS-74-450, TR-90, AD787008, F. Baskett and A. J. Smith (Thesis, chapter 3),
%2Interference in Multiprocessor Computer Systems with Interleaved Memory%1,
45 pages, September 1974.

STAN-CS-74-451, TR-91, AD786999, A. Smith (Thesis, chapter 5),
%2A Modified Working Set Paging Algorithm%1, 40 pages, October 1974.

STAN-CS-74-452, AIM-242, AD-A000 500, J. R. Low (Thesis),
%2Automatic Coding:  Choice of Data Structures%1, 110 pages, September 1974.

STAN-CS-74-453, , AD-A000 034, Donald E. Knuth,
%2Random Matroids%1, 30 pages, September 1974.  

STAN-CS-74-454, , SU326 P30-35, L. S. Jennings,
%2A Computational Approach to Simultaneous Estimation%1, 15 pages,
September 1974.  

STAN-CS-74-455, , AD-A000 083, Robert E. Tarjan,
%2Edge-Disjoint Spanning Trees, Dominators, and Depth-First Search%1,
40 pages, September 1974.

STAN-CS-74-456, AIM-243, AD-A003 815, R. Finkel, R. Taylor, R. Bolles, R. Paul
and J. Feldman, %2AL, A Programming System for Automation:  Preliminary
Report%1, 117 pages, October 1974.

STAN-CS-74-457, AIM-244, not at NTIS, K. M. Colby,
%2Ten Criticisms of Parry%1, 7 pages, October 1974.

STAN-CS-74-458, AIM-245, AD784816, J. Buchanan (Thesis),
%2A Study in Automatic Programming%1, 146 pages, October 1974.

STAN-CS-74-459, AIM-246, AD-A000 085, Terry Winograd,
%2Five Lectures on Artificial Intelligence%1, 95 pages, October 1974.

STAN-CS-74-460, , PB238148/AS, T. Porter and I. Simon,
%2Random Insertion into a Priority Queue Structure%1, 25 pages, October 

STAN-CS-74-461, AIM-247, AD-A005 041, N. M. Goldman (Thesis),
%2Computer Generation of Natural Language from a Deep Conceptual Base%1,
316 pages, October 1974.

STAN-CS-74-462, AIM-248, , K. Pingle and A. J. Thomas,
%2A Fast, Feature-Driven Stereo Depth Program%1, 15 pages, October 1974.

STAN-CS-74-463, AIM-249, AD-A002 261, Bruce Baumgart (Thesis),
%2Geometric Modeling for Computer Vision%1, 141 pages, November 1974.

STAN-CS-74-464, AIM-250, AD-A003 488, Ramakant Nevatia (Thesis),
%2Structured Descriptions of Complex Curved Objects for Recognition and
Visual Memory%1, 125 pages, November 1974.

STAN-CS-74-465, AIM-251, AD-A001 373, E. H. Shortliffe (Thesis),
%2MYCIN:  A Rule-Based Computer Program for Advising Physicians Regarding
Antimicrobial Therapy Selection%1, 409 pages, November 1974.

STAN-CS-74-466, AIM-252, AD-A002 246, Lester Earnest (editor),
%2Recent Research in Artificial Intelligence, Heuristic Programming, and
Network Protocols%1, 79 pages, November 1974.

STAN-CS-74-467, AIM-222, AD-A007 562, M. Aiello and R. Weyhrauch,
%2Checking Proofs in the Meta-Mathematics of First Order Logic%1, 55 pages,
November 1974.  

STAN-CS-74-468, , AD-A003 832, S. Krogdahl,
%2A Combinatorial Base for Some Optimal Matroid Intersection Algorithms%1,
25 pages, November 1974.  

STAN-CS-74-469, , , H. Brown,
%2Molecular Structure Elucidation III%1, 38 pages, December 1974.

STAN-CS-74-470, , , L. Trabb Prado,
%2Stable Sorting and Merging with Optimal Time and Space Bounds%1,
75 pages, December 1974.

STAN-CS-74-471, AIM-253, AD-A003 487, B. Faught, K. M. Colby and
R. C. Parkison, %2The Interaction of Inferences, Affects, and Intentions in a
Model of Paranoia%1, 38 pages, December 1974.  

STAN-CS-74-472, AIM-254, AD-A005 407, L. H. Quam and M. J. Hannah,
%2Stanford Automatic Photogrammetry Research%1, 15 pages, December 1974.

STAN-CS-74-473, AIM-255, AD-A005 412, N. Suzuki,
%2Automatic Program Verification II:  Verifying Programs by Algebraic and
Logical Reduction%1, 28 pages, December 1974.

STAN-CS-74-474, AIM-256, AD-A007 563, F. W. von Henke and D. C. Luckham,
%2A Methodology for Verifying Programs%1, 45 pages, December 1974.

STAN-CS-75-475, AIM-257, AD-A005 413, M. C. Newey (Thesis),
%2Formal Semantics of LISP with Applications to Program Correctness%1,
184 pages, January 1975.

STAN-CS-75-476, AIM-258, AD-A006 294, Cordell Green and David Barstow,
%2A Hypothetical Dialogue Exhibiting a Knowledge Base for a Program-Understanding
System%1, 45 pages, January 1975.

STAN-CS-75-477, , not at NTIS, V. Chvatal and D. Sankoff,
%2Longest Common Subsequences of Two Random Sequences%1,
18 pages, January 1975.  

STAN-CS-75-478, SU326 P30-36, , G. H. Golub and J. H. Wilkinson,
%2Ill-Conditioned Eigensystems and the Computation of the Jordan Canonical Form%1,
66 pages, February 1975.

STAN-CS-75-479, SU326 P30-38, , F. Chatelin and J. Lemordant,
%2Error Bounds in the Approximation of Eigenvalues of Differential and
Integral Operators%1,
24 pages, February 1975.

STAN-CS-75-480, , A008804, Donald E. Knuth,
%2Notes on Generalized Dedekind Sums%1,
45 pages, February 1975.

STAN-CS-75-481, SU326 P30-39, , J. Oliger,
%2Difference Methods for the Initial-Boundary Value Problem for Hyperbolic Equations%1,
31 pages, February 1975.  

STAN-CS-75-482, SLACP-1549, not at NTIS, J. A. Friedman, J. L. Bentley
and R. A. Finkel,
%2An Algorithm for Finding Best Matches in Logarithmic Time%1,
31 pages, March 1975.

STAN-CS-75-483, , AD-A011 835, P. Erdos and R. L. Graham,
%2On Packing Squares with Equal Squares%1,
8 pages, March 1975.  

STAN-CS-75-484, , AD-A011 832, R. L. Graham and E. Szemeredi,
%2On Subgraph Number Independence in Trees%1,
18 pages, March 1975.  

STAN-CS-75-485, , AD-A011 834, P. Erdos and E. Szemeredi,
%2On Multiplicative Representations of Integers%1,
18 pages, March 1975.  

STAN-CS-75-486, SU326 P30-37, , A. Bjorck and G. H. Golub,
%2Eigenproblems for Matrices Associated with Periodic Boundary Conditions%1,
19 pages, March 1975.

STAN-CS-75-487, SLACP-1573, , J. H. Friedman,
%2A Variable Metric Decision Rule for Non-Parametric Classification%1,
34 pages, April 1975.  

STAN-CS-75-488, , AD-A011 445, B. Bollobas, P. Erdos and E. Szemeredi,
%2On Complete Subgraphs of r-Chromatic Graphs%1,
16 pages, April 1975.  

STAN-CS-75-489, , AD-A011 833, E. Szemeredi,
%2Regular Partitions of Graphs%1,
8 pages, April 1975.  

STAN-CS-75-490, , AD-A014 429, R. William Gosper,
%2Numerical Experiments with the Spectral Test%1,
31 pages, May 1975.  

STAN-CS-75-491, , , G. D. Knott (Thesis),
%2Deletion in Binary Storage Trees%1,
93 pages, May 1975.

STAN-CS-75-492, , , R. Sedgewick (Thesis),
%2Quicksort%1, 352 pages, May 1975.

STAN-CS-75-493, , PB244421/AS, R. Kurki-Suonio,
%2Describing Automata in Terms of Languages Associated with Their Peripheral Devices%1,
37 pages, May 1975.  

STAN-CS-75-494, , , E. H. Satterthwaite, Jr. (Thesis),
%2Source Language Debugging Tools%1,
345 pages, May 1975.

STAN-CS-75-495, , AD-A014 424, S. Krogdahl,
%2The Dependence Graph for Bases in Matroids%1,
29 pages, May 1975.  

STAN-CS-75-496, SU326 P30-41, R. Underwood (Thesis),
%2An Iterative Block Lanczos Method for the Solution of Large Sparse Symmetric
133 pages, May 1975.

STAN-CS-75-497, , AD-A016 825, R. L. Graham and L. Lovasz,
%2Distance Matrices of Trees%1,
48 pages, August 1975.  

STAN-CS-75-498, AIM-259, AD-A017 025, H. Samet (Thesis),
%2Automatically Proving the Correctness of Translations Involving Optimized Code%1,
214 pages, August 1975.

STAN-CS-75-499, AIM-260, , D. C. Smith (Thesis),
%2PYGMALION:  A Creative Programming Environment%1,
193 pages, August 1975.

.next page
.once center <<500 - 599>>
%3Reports 500 thru 599%1

STAN-CS-75-500, , PB246708/AS, R. Kurki-Suonio,
%2Towards Better Definitions of Programming Languages%1,
29 pages, August 1975.

STAN-CS-75-501, AIM-261, AD-A016 810, O. Pettersen,
%2Procedural Events as Software Interrupts%1,
8 pages, August 1975.  

STAN-CS-75-502, AIM-262, AD-A016 808, O. Pettersen,
%2Synchronization of Concurrent Processes%1,
14 pages, August 1975.

STAN-CS-75-503, AIM-263, AD-A016 807, O. Pettersen,
%2The Macro-Processing System STAGE2%1,
20 pages, August 1975.  

STAN-CS-75-504, , AD-A017 370, P. Erdos, R. L. Graham and E. Szemeredi,
%2On Sparse Graphs with Dense Long Paths%1,
14 pages, August 1975.  

STAN-CS-75-505, , AD-A017 053, V. Chvatal,
%2Some Linear Programming Aspects of Combinatorics%1,
30 pages, August 1975.  

STAN-CS-75-506, AIM-264, AD-A017 176, M. Gordon,
%2Operational Reasoning and Denotational Semantics%1,
30 pages, August 1975.  

STAN-CS-75-507, AIM-265, , M. Gordon,
%2Towards a Semantic Theory of Dynamic Binding%1,
25 pages, August 1975.  

STAN-CS-75-508, , , James Eve,
%2On Computing the Transitive Closure of a Relation%1,
14 pages, August 1975.

STAN-CS-75-509, , AD-A017 331, M. Overton and A. Proskurowski,
%2Finding the Maximal Incidence Matrix of a Large Graph%1,
72 pages, August 1975.  

STAN-CS-75-510, , AD-A017 054, A. C. Yao and D. E. Knuth,
%2Analysis of the Subtractive Algorithm for Greatest Common Divisors%1,
10 pages, August 1975.  

STAN-CS-75-511, , AD-A017 294, P. Dubost and J. M. Trousse,
%2Software Implementation of a New Method of Combinatorial Hashing%1,
35 pages, August 1975.  

STAN-CS-75-512, , PB247895/AS, Robert E. Tarjan,
%2Applications of Path Compression on Balanced Trees%1,
53 pages, October 1975.

STAN-CS-75-513, SLACR-186, , J. L Bentley,
%2A Survey of Techniques for Fixed Radius Near Neighbor Searching%1,
30 pages, October 1975.  

STAN-CS-75-514, , PB247561/AS, N. Tokura,
%2A Microprogram Control Unit Based on a Tree Memory%1,
39 pages, October 1975.

STAN-CS-75-515, , , R. P. Brent,
%2Fast Multiple-Precision Evaluation of Elementary Functions%1,
22 pages, October 1975.  

STAN-CS-75-516, SU326 P30-42, J. Stoer,
%2On the Relation Between Quadratic Termination and Convergence Properties
of Minimization Algorithms%1,
103 pages, October 1975.

STAN-CS-75-517, , , V. Chvatal and C. Thomassen,
%2Distances in Orientations of Graphs%1,
24 pages, October 1975.

STAN-CS-75-518, , AD-A018 461, V. Chvatal and P. L. Hammer,
%2Aggregation of Inequalities in Integer Programming%1,
27 pages, October 1975.  

STAN-CS-75-519, AIM-266, AD-A019 641, R. Davis, B. Buchanan and E. Shortliffe,
%2Production Rules as a Representation for a Knowledge-Based Consultation Program%1,
37 pages, November 1975.  

STAN-CS-75-520, AIM-267, AD-A019 664, F. W. von Henke,
%2On the Representation of Data Structures in LCF with Applications to Program
41 pages, November 1975.  

STAN-CS-75-521, AIM-268, , C. Thompson,
%2Depth Perception in Stereo Computer Vision%1,
16 pages, November.  

STAN-CS-75-522, AIM-269, AD-A019 569, D. C. Luckham and N. Suzuki,
%2Automatic Program Verification IV:  Proof of Termination Within a Weak
Logic of Programs%1,
39 pages, November 1975.  

STAN-CS-75-523, AIM-270, AD-A019 467, J. F. Reiser,
%2BAIL -- A Debugger for SAIL%1,
26 pages, November 1975.

STAN-CS-75-524, AIM-271, AD-A019 702, R. Davis and J. King,
%2An Overview of Production Systems%1,
40 pages, November 1975.

STAN-CS-75-525, AIM-272, , S. Ganapathy (Thesis),
%2Reconstruction of Secnes Containing Polyhedra from Stereo Pair of Views%1,
204 pages, November 1975.  

STAN-CS-75-526, , AD-A020 848, Robert E. Tarjan,
%2Graph Theory and Gaussian Elimination%1,
23 pages, November 1975.

STAN-CS-75-527, TR-100, not at NTIS, E. McCluskey, J. Wakerley and R. Ogus,
%2Center for Reliable Computing%1,
100 pages, November 1975.

STAN-CS-75-528, , AD-A020 597, Robert E. Tarjan,
%2Solving Path Problems on Directed Graphs%1,
45 pages, November 1975.

STAN-CS-75-529, SLACP-1665, , J. L. Bentley and J. H. Friedman,
%2Fast Algorithms for Constructing Minimal Spanning Trees in Coordinate Spaces%1,
29 pages, November 1975.  

STAN-CS-75-530, SU326 P30-40, , M. Lentini and V. Pereyra,
%2An Adaptive Finite Difference Solver for Nonlinear Two Point Boundary Problems
with Mild Boundary Layers%1,
42 pages, November 1975.

STAN-CS-75-531, , AD-A020 847, D. J. Rose and R. E. Tarjan,
%2Algorithmic Aspects of Vertex Elimination on Directed Graphs%1,
45 pages, November 1975.

STAN-CS-75-532, , , Pat E. Jacobs (staff),
%2Bibliography of Computer Science Reports%1,
77 pages, November 1975.

STAN-CS-76-533, LBL-4604, SU326 P30-44, P. Concus, G. H. Golub and D. P. O'Leary,
%2A Generalized Conjugate Gradient Method for the Numerical Solution of
Elliptic Partial Differential Equations%1, 24 pages, January 1976.  

STAN-CS-76-534, AIM-273, , Linda G. Hemphill (Thesis),
%2A Conceptual Approach to Automatic Language Understanding and Belief
Structures:  With Disambiguation of the Word 'For' %1,
254 pages, January 1976.  

STAN-CS-76-535, , , P. Concus and G. H. Golub,
%2A Generalized Conjugate Gradient Method for Non-Selmmetric Systems of
Linear Equations%1,
12 pages, January 1976.

STAN-CS-76-536, AIM-274, AD-A020 942/9WC, David Grossman and Russell Taylor,
%2Interactive Generation of Object Models with a Manipulator%1,
32 pages, January 1976.  

STAN-CS-76-537, AIM-275, AD-A020 943/7WC, Robert C. Bolles,
%2Verification Vision Within a Programmable Assembly System:  An
Introductory Discussion%1,
82 pages, January 1976.  

STAN-CS-76-538, , AD-A024 416, Donald E. Knuth and L. Trabb Pardo,
%2Analysis of a Simple Factorization Algorithm%1,
43 pages, January 1976.  

STAN-CS-76-539, AIM-276, AD-A021 055/9WC, Zohar Manna and Adi Shamir,
%2A New Approach to Recursive Programs%1,
26 pages, January 1976.  

STAN-CS-76-540, ,AD-A021 587, R. L. Graham, A. C. Yao and F. F. Yao,
%2Addition Chains with Multiplicative Cost%1,
7 pages, January 1976.  

STAN-CS-76-541, , , Donald E. Knuth,
%2Mathematics and Computer Science:  Coping with Finiteness%1,
30 pages, March 1976.

STAN-CS-76-542, AIM-277, AD-A027 454, Zohar Manna and Adi Shamir,
%2The Theoretical Aspects of the Optimal Fixedpoint%1,
24 pages, March 1976.

STAN-CS-76-543, , , D. A. Zave,
%2Optimal Polyphase Sorting%1,
75 pages, March 1976.

STAN-CS-76-544, , , B. Mont-Reynaud,
%2Removing Trivial Assignments from Programs%1,
28 pages, March 1976.

STAN-CS-76-545, , , W. J. Paul, R. E. Tarjan and J. R. Celoni,
%2Space Bounds for a Game on Graphs%1,
21 pages, March 1976.  

STAN-CS-76-546, SLACP-1715, , F. Baskett and L. Sustek,
%2The Design of a Low Cost Video Graphics Terminal%1,
25 pages, March 1976.  

STAN-CS-76-547, , , Robert E. Tarjan,
%2Iterative Algorithms for Global Flow Analysis%1,
31 pages, March 1976.  

STAN-CS-76-548, , , D. Prost O'Leary (Thesis),
%2Hybrid Conjugate Gradient Algorithms%1,
120 pages, March 1976.

STAN-CS-76-549, AIM-278, AD-A027 455, David Luckham and Norihisa Suzuki,
%2Automatic Program Verification V: Verification-Oriented Proof Rules
or Arrays, Records and Pointers%1,
48 pages, March 1976.  

STAN-CS-76-550, , , R. E. Tarjan and A. E. Trojanowski,
%2Finding a Maximum Independent Set%1,
22 pages, June 1976.  

STAN-CS-76-551, , AD-A032 347, Donald E. Knuth,
%2The State of the Art of Computer Programming%1,
57 pages, June 1976.

STAN-CS-76-552, AIM-279, , Norihsa Suzuki (Thesis),
%2Automatic Verification of Programs with Complex Data Structures%1,
194 pages, February 1976.

STAN-CS-76-553, , AD-A032 772, R. E. Tarjan,
%2Complexity of Monotone Networks for Computing Conjunctions%1,
21 pages, June 1976.  

STAN-CS-76-554, , , F. S. Yu (Thesis),
%2Modeling the Write Behavior of Computer Programs%1,
185 pages, June 1976.  

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

STAN-CS-76-556, , , L. J. Guibas (Thesis),
%2The Analysis of Hashing Algorithms%1,
136 pages, August 1976.    

STAN-CS-76-557, , AD-A032 122, M. S. Paterson,
%2An Introduction to Boolean Function Complexity%1,
19 pages, August 1976.   

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

STAN-CS-76-559, , AD-A032 348, Gene Golub, V. Klema and G. W. Stewart,
%2Rank Degeneracy and Least Squares Problems%1,
38 pages, August 1976.  

STAN-CS-76-560, AIM-282, , Russell Taylor (Thesis),
%2Synthesis of Manipulator Control Programs from Task-level Specifications%1,
229 pages, July 1976.  

STAN-CS-76-561, , , D. R. Woods,
%2Mathematical Programming Language:  User's Guide%1,
139 pages, August 1976.  

STAN-CS-76-562, , AD-A032 123, Donald E. Knuth and L. Trabb Prado,
%2The Early Development of Programming Languages%1,
109 pages, August 1976.  

STAN-CS-76-563, , , D. L. Russell,
%2State Restoration Among Communicating Processes%1,
173 pages, August 1976.

STAN-CS-76-564, AIM-283, , Randall Davis (Thesis),
%2Applications of Meta Level Knowledge to the Construction, Maintenance
and Use of Large Knowledge Bases%1,
304 pages, July 1976.

STAN-CS-76-565, , AD-A032 802, J. C. Strikwerda (Thesis),
%2Initial Boundary Value Problems for Incompletely Parabolic Systems%1,
107 pages, November 1976.  

STAN-CS-76-566, , , Margaret Wright (Thesis),
%2Numerical Methods for Nonlinearly Constrained Optimization%1,
262 pages, November 1976.

STAN-CS-76-567, AIM-284, , Rafael Finkel (Thesis),
%2Constructing and Debugging Manipulator Programs%1,
171 pages pages, August 1976.

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

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

STAN-CS-76-569, , PB-261 814/AS, John G. Herriot,
%2Calculation of interpolating Natural Spline Functions Using De Boor's 
Package for Calculating with B-Splines%1,
46 pages, November 1976.  

STAN-CS-76-570, AIM-286, , Douglas Lenat (Thesis),
%2AM: An Artificial Intelligence Approach to Discovery in Mathematics
as Heuristic Search%1,
350 pages, July 1976.

STAN-CS-76-571, AIM-287, , Michael Roderick (Thesis),
%2Discrete Control of a Robot Arm%1,
98 pages, August 1976.  

STAN-CS-76-572, AIM-288, , Robert Filman and Richard Weyhrauch,
%2An FOL Primer%1,
36 pages, September 1976.  

STAN-CS-76-573, , AD-A032 945, Arne Jonassen,
%2The Stationary P-Tree Forest%1,
90 pages, November 1976.  

STAN-CS-76-574, AIM-289, , John Reiser (editor),
%2SAIL Manual%1,
178 pages, August 1976.  

STAN-CS-76-575, AIM-290, AD-A042 494, Nancy W. Smith,
%2SAIL Tutorial%1,
54 pages, November 1976.  

STAN-CS-76-576, , AD-A035 350,  Colin McDiarmid,
%2Determining the Chromatic Number of a Graph%1,
61 pages, December 1976.  

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

STAN-CS-76-578, , AD-A035 219, Joseph Oliger and Arne Sundstrom,
%2Theoretical and Practical Aspects of Some Initial-Boundary Value Problems 
in Fluid Dynamics%1,
62 pages, December 1976.  

STAN-CS-76-579, SLACP-1826, , Forest Basket and Abbas Rafii,
%2The A0 Inversion Model of Program Paging Behavior%1,
30 pages, December 1976.  

STAN-CS-76-580, AIM-292, , Terry Winograd,
%2Towards a Procedural Understanding of Semantics%1,
30 pages, October 1976.  

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

STAN-CS-76-582, , AD-A038 863, V. Chvatal, M. R. Garey, and D. S. Johnson,
%2Two Results Concerning Multicoloring%1,
9 pages, December 1976.  

STAN-CS-77-583, ,AD-A038 864, V. Chvatal,
%2Determining the Stability Number of a Graph%1,
39 pages, February 1977.  

STAN-CS-77-584, ,AD-A038 865, Donald E. Knuth,
%2Deletions That Preserve Randomness%1,
32 pages, February 1977.  

STAN-CS-77-585, , , P. Concus, G. H. Golub and D. O'Leary,
%2Numerical Solution of Nonlinear Elliptic Partial Differential Equations 
by a Generalized Conjugate Gradient Method%1,
43 pages, February 1977.

STAN-CS-77-586, AIM-294, AD-A042 516, Nachum Dershowitz and Zohar Manna,
%2The Evolution of Programs: A System for Automatic Program Modification%1,
45 pages, February 1977.  

STAN-CS-77-587, ,AD-A038 867, M. R. Garey, R. L. Graham, D. S. Johnson, and D. E. Knuth,
%2Complexity Results for Bandwidth Minimization%1,
36 pages, February 1977.  

STAN-CS-77-588, ,PB-266 381/AS, Tony Fan C. Chan,
%2On Computing the Singular Value Decomposition%1,
57 pages, February 1977.

STAN-CS-77-589, HPP-77-2, AD-A038 866, Robert S. Engelmore and H. P. Nii,
%2A Knowledge-Based System for the Interpretation of Protein X-Ray
Crystallographic Data%1,
36 pages, February 1977.  

STAN-CS-77-590, ,AD-A038 868, Donald E. Knuth and Michael S. Paterson,
%2Identities from Partition Involutions%1,
22 pages, February 1977.

STAN-CS-77-591, AIM-295, , Robert C. Bolles (Thesis),
%2Verification Vision Within a Programmable Assembly System%1,
245 pages, February 1977.  

STAN-CS-77-592, AIM-296, , Robert Cartwright, Jr. (Thesis),
%2A Practical Formal Semantic Definition and Verification Systems for 
Typed LISP%1,
158 pages, Fegruary 1977.  

STAN-CS-77-593, HPP-77-1, ,
A. C. Scott, W. J. Clancey, R. Davis, and E. H. Shortliffe,
%2Explanation Capabilities of Production-Based Consultation Systems%1,
30 pages, April 1977.

STAN-CS-77-594, SLAC-200, , Edwin P. Stritter (Thesis),
%2File Migration%1,
112 pages, April 1977.  

STAN-CS-77-595, , , John Gregg Lewis (Thesis),
%2Algorithms for Sparse Matrix Eigenvalue Problems%1,
212 pages, April 1977.  

STAN-CS-77-596, HPP-77-5, , Mark J. Stefik and Nancy Martin,
%2A Review of Knowledge Based Problem Solving as a Basis for a Genetics 
Experiment Designing System%1,
97 pages, April 1977.  

STAN-CS-77-597, HPP-77-6, , Bruce G. Buchanan and Tom M. Mitchell,
%2Model-Directed Learning of Production Rules%1,
21 pages, April 1977.  

STAN-CS-77-598, ,AD-A040 486, Arne T. Jonassen and Donald E. Knuth,
%2A Trivial Algorithm Whose Analysis Isn't%1,
32 pages, April 1977.

STAN-CS-77-599, ,AD-A040 441, Donald E. Knuth and Arnold Schonhage,
%2The Expected Linearity of a Simple Equivalence Algorithm%1,
56 pages, April 1977.  

.next page
.once center <<600 - 699>>
%3Reports 600 thru 699%1

STAN-CS-77-600, ,AD-A040 538, Mark R. Brown (Thesis),
%2The Analysis of a Practical and Nearly Optimal Priority Queue%1,
102 pages, April 1977.

STAN-CS-77-601, ,A045 652, John F. Reiser (Thesis),
%2Analysis of Additive Random Number Generators%1,
34 pages, April 1977.

STAN-CS-77-602, , , C. DeBoor and G. H. Golub,
%2The Numerically Stable Reconstruction of a Jacobi Matrix from Spectral 
21 pages, April 1977.

STAN-CS-77-603, ,AD-A041 292, Robert E. Tarjan,
%2Reference Machines Require Non-Linear Time to Maintain Disjoint Sets%1,
45 pages, April 1977.  

STAN-CS-77-604, ,AD-A040 399, Tony F. C. Chan and Joseph Oliger,
%2Control of the Dissipativity of Lax-Wendroff Type Methods for First Order
Systems of Hyperbolic Equations%1,
45 pages, April 1977.

STAN-CS-77-605, HPP-77-14, AD-A042 834,
R. G. Smith, T. M. Mitchell, R. A. Chestek and B. Buchanan,
%2A Model for Learning Systems%1,
22 pages, June 1977.

STAN-CS-77-606, , , Michael J. Clancy and Donald E. Knuth,
%2A Programming and Problem-Solving Seminar%1,
104 pages, June 1977.

STAN-CS-77-607, TR-133, , Susan Owicki,
%2Specifications and Proofs for Abstract Data Types in Concurrent Programs%1,
26 pages, June 1977.  

STAN-CS-77-608, , , Istvan Simon (Thesis),
%2On Some Subrecursive Reducibilities%1,
102 pages, June 1977.

STAN-CS-77-609, ,AD-A043 362, Robert E. Tarjan,
%2Complexity of Combinatorial Algorithms%1,
97 pages, June 1977.

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

STAN-CS-77-611, AIM-298, AD-A046 703, Zohar Manna, Richard Waldinger,
%2The Logic of Computer Programming%1,
90 pages, June 1977.

STAN-CS-77-612, HPP-77-7, AD-A042 756, H. Penny Nii and Edward A. Feigenbaum,
%2Rule-Based Understanding of Signals%1,
23 pages, June 1977.  

STAN-CS-77-613, , , E. Spedicato,
%2On Some Classes of Quasi-Newton Methods for Systms of Nonlinear Algebraic 
Equations%1, 31 pages, June 1977.   

STAN-CS-77-614, AIM-299, , Zohar Manna, Adi Shamir,
%2The Convergence of Functions to Fixedpoints of Recursive Definitions%1,
45 pages, June 1977.  

STAN-CS-77-615, , , R. Glowinski and O. Pironneau,
%2Numerical Methods for the First Biharmonic Equation and for the Two-
Dimensional Stokes Problem%1,
86 pages, June 1977.

STAN-CS-77-616, ,AD-A046 311, Heinz-Otto Kreiss and Joseph Oliger,
%2Stability of the Fourier Method%1,
25 pages, September 1977.

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

STAN-CS-77-618, HPP-77-28, AD-A045 948, Nils J. Nilsson,
%2A Production System for Automatic Deduction%1,
42 pages, September 1977.  

STAN-CS-77-619, ,AD-A046 481, W. J. Paul and R. E. Tarjan,
%2Time-Space Trade-Offs in a Pebble Game%1,
8 pages, September 1977.  

STAN-CS-77-620, , , J. Bolstad and J. Oliger,
%2Adaptation of the Fourier Method to the Nonperiodic Initial Boundary 
Value Problem%1,
80 pages, September 1977.

STAN-CS-77-621, HPP-77-25, AD-A046 289, E. A. Feigenbaum,
%2The Art of Artificial Intelligence:  I. Themes and Case Studies of 
Knowledge Engineering%1, 18 pages, September 1977.  

STAN-CS-77-622, , , G. H. Golub, M. Heath and G. Wahba,
%2Generalized Cross-Validation as a Method for Choosing a Good Ridge 
25 pages, September 1977.

STAN-CS-77-623, , , D. Boley and G. H. Golub,
%2Inverse Eigenvalue Problems for Band Matrices%1,
75 pages, September 1977.

STAN-CS-77-624, AIM-301, AD-A044 231, Lester Earnest, et. al.,
%2Recent Research in Computer Science%1,
118 pages, September 1977.  

STAN-CS-77-625, ,AD-A046 090, Mark R. Brown and Robert E. Tarjan,
%2A Fast Merging Algorithm%1,
42 pages, September 1977.  

STAN-CS-77-626, , , Andrew C. Yao,
%2On the Loop Switching Addressing Problem%1,
21 pages, October 1977.  

STAN-CS-77-627, ,AD-A048 786, Richard J. Lipton and Robert E. Tarjan,
%2A Separator Theorem for Planar Graphs%1,
31 pages, October 1977.  

STAN-CS-77-628, ,AD-A048 787, Richard J. Lipton and Robert E. Tarjan,
%2Applications of a Planar Separator Theorem%1,
34 pages, October 1977.  

STAN-CS-77-629, , , Andrew C. Yao,
%2The Complexity of Pattern Matching for a Random String%1,
43 pages, October 1977.  

STAN-CS-77-630, AIM-302, Zohar Manna and Richard Waldinger
%2Synthesis:  Dreams => Programs%1,
119 pages, October 1977.  

STAN-CS-77-631, AIM-303, AD-A050 806, Nachum Dershowitz and Zohar Manna,
%2Inference Rules for Program Annotation%1,
46 pages, October 1977.

STAN-CS-77-632, AIM-304, AD-A048 684, Todd Jeffery Wagner (Thesis),
%2Hardware Verification%1,
102 pages, October 1977.  

STAN-CS-77-633, AIM-305, AD-A048 660, William Faught (Thesis),
%2Motivation and Intensionality in a Computer Simulation Model%1,
104 pages, October 1977.  

STAN-CS-77-634, , , W. Hoffmann and B. N. Parlett,
%2A New Proof of Global Convergence for the Tridiagonal QL Algorithm%1,
18 pages, October 1977.

STAN-CS-77-635, , , G. H. Golub, F. T. Luk and M. L. Overton,
%2A Block Lanczos Method to Computer the Singular Value and Corresponding 
Singular Vectrs of a Matrix%1,
80 pages, October 1977.

STAN-CS-77-636, ,AD-A048 788, Kenneth P. Bube,
%2C↑m Convergence of Trigonometric Interpolants%1,
25 pages, October 1977.

STAN-CS-77-637, , , Lyle Ramshaw,
%2On the Gap Structure of Sequences of Points on a Circle%1,
26 pages, September 1977.  

STAN-CS-77-638, SU326 P30-57, , Dianne Prost O'Leary,
%2A Generalized Conjugate Gradient Algorithm for Solving a Class of
Quadratic Programming Problems%1,
49 pages, October 1977.  

STAN-CS-77-639, AIM-306, AD-A053 175, Cordell Green and David Barstow,
%2On Program Synthesis Knowledge%1,
63 pages, November 1977.  

STAN-CS-77-640, AIM-307, AD-A053 176, Zohar Manna and Richard Waldinger,
%2Structured Programming Without Recursion%1,
10 pages, December 1977.  

STAN-CS-77-641, AIM-308, AD-A053 184, David Barstow (Thesis),
%2Automatic Construction of Algorithms%1,
220 pages, December 1977.  

STAN-CS-77-642, , , Andrew C. Yao,
%2On Constructing Minimum Spanning Trees in k-Dimensional Spaces
and Related Problems%1,
37 pages, November 1977.  

STAN-CS-77-643, , , Kunio Tanabe,
%2A Geometric Method in Nonlinear Programming %1,
53 pages, December 1977.  

STAN-CS-77-644, , , Bernard Mont-Reynaud (Thesis),
%2Hierarchical Properties of Flows and the Determination of Inner Loops%1,
164 pages, December 1977.  

STAN-CS-77-645, , , Richard J. Lipton, Donald J. Rose, and Robert Endre Tarjan,
%2Generalized Nested Dissection%1,
32 pages, December 1977.  

STAN-CS-77-646, AIM-309, , C. G. Nelson and Derek C. Oppen,
%2Efficient Decision Procedures Based on Congruence Closure%1,
5 pages, December 1977.  

STAN-CS-78-647, , , Andrew C. Yao,
%2A Lower Bound to Palindrome Recognition by Probabilistic Turing Machines%1,
20 pages, January 1978.  

STAN-CS-78-648, ,AD-A054 143, Donald E. Knuth,
%2Mathematical Typography%1,
68 pages, January 1978. 

STAN-CS-78-649, HPP-78-1, , Bruce G. Buchanan and Edward A. Feigenbaum,
%2DENDRAL and Meta-DENDRAL:  Their Applications Dimension%1,
25 pages, January 1978.  

STAN-CS-78-650, ,AD-A054 144, Thomas Lengaue and Robert E. Tarjan,
%2A Fast Algorithm for Finding Dominators in a Flow Graph%1,
40 pages, February 1978.  

STAN-CS-78-651, AIM-310, AD-A058 601, Nachum Dershowitz and Zohar Manna,
%2Proving Termination with Multiset Orderings%1,
30 pages, March 1978.  

STAN-CS-78-652, AIM-311, , Greg Nelson and Derek C. Oppen,
%2A Simplifier Based on Efficient Decision Algorithms%1,
20 pages, March 1978.  

STAN-CS-78-653, , , Yossi Shiloach,
%2Multi-Terminal 0-1 Flow%1,
18 pages, January 1978.  

STAN-CS-78-654, , PB288520/AS, Yossi Shiloach,
%2The Two Paths Problem is Polynomial%1,
23 pages, September 1977.  

STAN-CS-78-655, , , Germund Dahlquist,
%2On Accuracy and Unconditional Stability of Linear Multistep Methods for
Second Order Differential Equations%1,
8 pages, March 1978.  

STAN-CS-78-656, , , Michael T. Heath,
%2Numerical Algorithms for Nonlinearly Constrained Optimization%1,
142 pages, March 1978.  Cost $ 5.70

STAN-CS-78-657, AIM-312, , John McCarthy, Masahiko Sato, Takeshi Hayashi, and Shigeru Igarashi,
%2On the Model Theory of Knowledge%1,
12 pages, April 1978.  

STAN-CS-78-658, SLAC-205, , Leonard J. Shustek (Thesis),
%2Analysis and Performance of Computer Instruction Sets%1,
177 pages, March 1978.  

STAN-CS-78-659, SLAC-206, , John E. Zolnowsky (Thesis),
%2Topics in Computational Geometry%1,
63 pages, March 1978.  

STAN-CS-78-660, AIM-313, , Bruce E. Shimano (Thesis),
%2The Kinematic Design and Force Control of Computer Controlled 
135 pages, March 1978.

STAN-CS-78-661, , AD-A060 794, John R. Gilbert and Robert E. Tarjan,
%2Variations of a Pebble Game on Graphs%1,
23 pages, April 1978.  

STAN-CS-78-662, , , Andrew Chi-Chih Yao,
%2New Algorithms in Bin Packing%1,
50 pages, May 1978.  

STAN-CS-78-663, , AD-A060 793, Eric Grosse,
%2Software Restyling in Graphics and Programming Languages%1,
30 pages, May 1978.  

STAN-CS-78-664, , , Peter Bjorstad and Jorge Nocedal,
%2Analysis of a New Algorithm for One-Dimensional Minimization%1,
18 pages, May 1978.  

STAN-CS-78-665, TR-152, , T. M. McWilliams and L. C. Widdoes, Jr.,
%2SCALD:  Structured Computer-Aided Logic Design%1,
39 pages, March 1978.  

STAN-CS-78-666, TR-153, , T. M. McWilliams and L. C. Widdoes, Jr.,
%2The SCALD Physical Design Subsystem%1,
28 pages, March 1978.  

STAN-CS-78-667, HPP-78-7, AD-A060 795, Reid G. Smith and Randall Davis,
%2Distributed Problem Solving:  The Contract Net Approach%1,
27 pages, June 1978.  

STAN-CS-78-668, HPP-78-10, , Alain Bonnet,
%2BAOBAB, A Parser for a Rule-Based System Using a Semantic Grammar%1,
41 pages, June 1978.  

STAN-CS-78-669, , , Paul K. Stockmeyer and F. Frances Yao,
%2On the Optimality of Linear Merge%1,
11 pages, June 1978.  

STAN-CS-78-670, , , Ronald L. Graham, Andrew C. Yao, and F. Frances Yao,
%2Information Bounds are Weak in the Shortest Distance Problem%1,
39 pages, June 1978.  

STAN-CS-78-671, AIM-316, , Jerrold Ginsparg (Thesis),
%2Natural Language Processing in an Automatic Programming Domain%1,
172 pages, June 1978.  

STAN-CS-78-672, , , Tony F. C. Chan (Thesis),
%2Comparison of Numerical Methods for Initial Value Problems%1,
195 pages, June 1978.

STAN-CS-78-673, SU36 P30-59, , Tony F. Chan, William M. Coughran, Jr., Eric H. Grosse 
and Michael T. Heath,
%2A Numerical Library and its Support%1,
22 pages, July 1978.  

STAN-CS-78-674, SU326 P30-60, , Tony F. Chan and Roland Glowinski,
%2Finite Element Appoximation and Iterative Solution of a Class of Mildly
Non-Linear Elliptic Equations%1,
76 pages, November 1978.  

STAN-CS-78-675, AIM-317, , Donald E. Knuth,
%2Tau Epsilon Chi, a system for technical text%1, 200 pages, November 1978.

STAN-CS-78-676, SLACR-213, , John Phineas Banning (Thesis),
%2A Method for Determining the Side Effects of Procedure Calls%1, 283 pages,
November 1978.

STAN-CS-78-677, , , Frank M. Liang (editor),
%2Comprehensive Examinations in Computer Science, 1972-1978%1, 238 pages,
November 1978.  

STAN-CS-78-678, AIM-314, , Derek C. Oppen,
%2Reasoning About Recursively Defined Data Structures%1, 15 pages, 
November 1978.  

STAN-CS-78-679, , , Walter Murray and Michael L. Overton,
%2Steplength Algorithms for Minimizing a Class of Nondifferentiable Functions%1,
57 pages, November 1978.  

STAN-CS-78-680,  , Connie J. Stanley (editor),
%2Bibliography of Stanford Computer Science Reports, 1963-1978%1,
100 pages, November 1978.

STAN-CS-78-681, , AD-A065 283, Louis Trabb Pardo (Thesis),
%2Set Representation and Set Intersection%1, 85 pages, December 1978.

STAN-CS-78-682, , AD-A065 265, Jacobo Valdes (Thesis),
%2Parsing Flowcharts and Series-Parallel Graphs%1, 233 pages, December 1978.

STAN-CS-78-683, , AD-A065 284, Robert Endre Tarjan,
%2Storing a Sparse Table%1, 23 pages, December 1978.

STAN-CS-78-684, SU326 P30-63, , D. L. Boley and G. H. Golub,
%2The Matrix Inverse Eigenvalue Problem for Periodic Jacobi Matrices%1,
18 pages, December 1978.  

STAN-CS-78-685, , AD-A065 285, Franklin Tai-cheung Luk (Thesis),
%2Sparse and Parallel Matrix Computations%1, 168 pages, December 1978.

STAN-CS-78-686, , , Richard J. Lipton, Arnold L. Rosenberg and Andrew C. Yao,
%2External Hashing Schemes for Collections of Data Structures%1,
33 pages, December 1978.  

STAN-CS-78-687, AIM-315, AD-A065 698, Richard Weyhrauch,
%2Prolegomena to a Theory of Formal Reasoning%1,
41 pages, December 1978.  

STAN-CS-78-688, AIM-318, , Zohar Manna,
%2Six Lectures on the Logic of Computer Programming%1,
54 pages, December 1978.  

STAN-CS-78-689, AIM-319, , Charles G. Nelson,
%2An n∩[log n] Algorithm for the Two-Variable-Per-Constraint Linear Programming
Satisfiability Problem%1, 20 pages, December 1978.  

STAN-CS-78-690, AIM-320, AD-A065 558, Zohar Manna and Richard Waldinger,
%2A Deductive Approach to Program Synthesis%1,
30 pages, December 1978.  

STAN-CS-78-691, , AD-A066 058, Kenneth P. Bube (Thesis),
%2The Construction of Initial Data for Hyperbolic Systems from Nonstandard
Data%1, 119 pages, November 1978.

STAN-CS-78-692, HPP-77-39, AD-A066 147, Bruce G. Buchanan, Tom M. Mitchell, Reid G. Smith
and C. Richard Johnson Jr., %2Models of Learning Systems%1, 38 pages,
November 1978.

STAN-CS-78-693, , ,AD-A066 099 Douglas B. West,
%2A Class of Solutions to the Gossip Problem%1, 61 pages, November 1978.

STAN-CS-78-694, , , Jonathan King (editor),
%2Computer Science at Stanford 1977-1978%1, 27 pages, November 1978.

STAN-CS-78-695, AIM-321, AD-A066 562, John McCarthy et al.,
%2Recent Research in Artificial Intelligence and Foundations of Programming%1,
94 pages, November 1978.  

STAN-CS-78-696, HPP-78-22, AD-A068 538, Reid G. Smith and Tom M. Mitchell,
%2Considerations for Microprocessor-Based Terminal Design%1, 14 pages,
November 1978.

STAN-CS-78-697, , , Walter Gander,
%2On the Linear Least Squares Problem with a Quadratic Constraint%1,
120 pages, November 1978.

STAN-CS-78-698, , , Richard E. Sweet (Thesis),
%2Empirical Estimates of Program Entropy%1, 167 pages, November 1978.

STAN-CS-78-699, HPP-78-23, AD-A068 539, James Bennett, Lewis Creary, Robert Englemore
and Robert Melosh, %2SACON: A Knowledge-Based Consultant for Structural
Analysis%1, 65 pages, September 1978.

.next page
.once center <<700 - 799>>
%3Reports 700 thru 799%1

STAN-CS-78-700, HPP-78-28, AD-A068 230, Reid Garfield Smith (Thesis),
%2A Framework for Problem Solving in a Distributed Processing Environment%1,
150 pages, December 1978.

STAN-CS-79-701, , , Mitch L Model (Thesis),
%2Monitoring System Behavior in a Complex Computational Environment%1,
189 pages, January 1979.  

STAN-CS-79-702, , , Yossi Shiloach,
%2An O(n|cdIlog↑2I) Maximum-Flow Algorithm%1,
33 pages, January 1979.  

STAN-CS-79-703, , AD-A068 228, Bengt Aspval and Yossi Shiloach,
%2A Polynomial Time Algorithm for Solving Systems of Linear Inequalities With
Two Variables Per Inequality%1,
25 pages, January 1979.  

STAN-CS-79-704, , AD-A068 232, Roland A. Sweet,
%2A Survey of the State of Software for Partial Differential Equations%1,
31 pages, January 1979.  

STAN-CS-79-705, , , Robert Lewis (Scot) Drysdale, III (Thesis),
%2Generalized Voronoi Diagrams and Geometric Searching%1,
196 pages, January 1979.  

STAN-CS-79-706, , , F. Francis Yao,
%2Graph 2-Isomorphism is NP-Complete%1,
12 pages, January 1979.  

STAN-CS-79-707, , , Chris Van Wyk and Donald E. Knuth,
%2A Programming and Problem-Solving Seminar%1,
83 pages, January 1979.  

STAN-CS-79-708, , , Andrew C. Yao,
%2An Analysis of a Memory Allocation Scheme for Implementing Stacks%1,
18 pages, January 1979.  

STAN-CS-78-709, , AD-A068 231, Mark R. Brown and Robert E. Tarjan,
%2Design and Analysis of a Data Structure for Representing Sorted Lines%1,
50 pages, December 1978.  

STAN-CS-79-710, , AD-A068 210, Lloyd Trefethen,
%2Numerical Computation of the Schwarz-Christoffel Transformation%1,
42 pages, 1979.  

STAN-CS-78-711, , , Tom Michael Mitchell (Thesis),
%2Version Spaces:  An Approach to Concept Learning%1,
216 pages, December 1978.  

STAN-CS-79-712, , AD-A068 393, Donald E. Knuth,
%2The Errata of Computer Programming%1,
58 pages, January 1979.  

STAN-CS-79-713, , , Gene Golub, Stephen Nash and Charles Van Loan,
%2A Hessenberg-Schur Method for the Problem AX + XB = C%1,
50 pages, January 1979.  

STAN-CS-79-714, CSL TN-160, , Fernando Castaneda, Frederick Chow, Peter Nye,
Dan Sleator and Gio Wiederhold,
%2PCFORT:  A Fortran-to-Pcode Translator%1,
January 1979.

STAN-CS-79-715, CSL TN-161, , Brent T. Hailpern and Bruce L. Hitson,
%2S-1 Architecture Manual%1,
January 1979.

STAN-CS-79-716, AIM-322, , Michael Georgeff,
%2A Framework for Control in Production Systems%1,
35 pages, January 1979.  

STAN-CS-79-717, AIM-324, , Robert Cartwright and John McCarthy,
%2Recursive Programs as Functions in a First Order Theory%1,
32 pages, March 1979.  

STAN-CS-79-718, AIM-323, , Shahid Mujtaba and Ron Goldman,
%2AL Users' Manual%1,
136 pages, January 1979.  

STAN-CS-79-719, , , Petter Bj%6O%1rstad, Germund Dahlquist and Eric Grosse,
%2Extrapolation of Asymptotic Expansions by a Modified Aitken %Ad%2↑2-Formula%1,
54 pages, February 1979.  

STAN-CS-79-720, , , R. Glowinski,
%2 On Grid Optimization for Boundary Value Problems%1,
22 pages, February 1979.  

STAN-CS-79-721, , , Andrew C. Yao and F. Frances Yao,
%2On Fault-Tolerant Networks for Sorting%1,
20 pages, February 1979.  

STAN-CS-79-722, , , Gio Wiederhold and Ramez El-Masri,
%2A Structural Model for Database Systems%1
57 pages, March 1979.  

STAN-CS-79-723, , , Edward H. Shortliffe, Bruce G. Buchanan and Edward A. Feigenbaum,
%2Knowledge Engineering for Medical Decision Making:  a review of computer-based
clinical decision aids%1,
52 pages, February 1979.  

STAN-CS-79-724, AIM-325, , John McCarthy,
%2First Order Theories of Individual Concepts and Propositions%1,
19 pages, March 1979.  

STAN-CS-79-725, AIM-326, , John McCarthy,
%2Ascribing Mental Qualities to Machines%1,
25 pages, March 1979.  

STAN-CS-79-726, , , Andrew Chi-Chih Yao,
%2An Analysis of (h,k,l)-Shellsort%1,
55 pages, March 1979.  

STAN-CS-79-727, AIM-327, , Robert Elliot Filman (Thesis),
%2The Interaction of Observation and Inference%1,
235 pages, March 1979.  

STAN-CS-79-728, , , Yossi Shiloach,
%2Union-Member Algorithms for Non-Disjoint Sets%1,
12 pages, January 1979.  

STAN-CS-79-729, , AD-A068 229, Robert Endre Tarjan,
%2 A Unified Approach to Path Problems%1,
43 pages, April 1979.  

STAN-CS-79-730, , , Frank M. Liang,
%2Qualifying Examinations in Computer Science, 1965-1978%1,
238 pages.  

STAN-CS-79-731, P.V. α#11, ,
D.C. Luckham, S.M. German F.W. von Henke, R.A. Karp, P.W. Milne, D.C. Oppen,
W. Polak, and W.L. Scherlis,
%2Stanford PASCAL Verifier User Manual%1,
April 1979.

STAN-CS-79-732, , , Donald R. Woods,
%2Notes on Introductory Combinatorics%1,
120 pages, April 1979.

STAN-CS-79-733, , , Andrew Chi-Chih Yao,
%2A Lower Bound to Finding Convex Hulls%1,
22 pages, April 1979.  

STAN-CS-79-734, , , Robert Endre Tarjan,
%2Fast Algorithms for Solving Path Problems%1,
49 pages, April 1979.  

STAN-CS-79-735, , , J. H. Wilkinson,
%2Kronecker's Canonical Form and the QZ Algorithm%1,
23 pages, April 1979.

STAN-CS-79-736, , , J. H. Wilkinson,
%2Note on the Practical Significance of the Drazin Inverse%1,
20 pages, April 1979.

STAN-CS-79-737, , , Andrew C. Yao and F. Frances Yao,
%2On the Average-case Complexity of Selecting the k-th Best%1,
45 pages, April 1979.

STAN-CS-79-738, SU326 P30-65, , Randall LeVeque, Germund Dahlquist
and Dan Andree,
%2Computations Related to G-Stability of Linear Multistep Methods%1,
27 pages, May 1979.

STAN-CS-79-739, HPP-79-14, , J. R. Quinlan,
%2Induction Over Large Data Bases%1,
19 pages, May 1979.

STAN-CS-79-740, P.V. α# , , R. S. Cartwright and D. C. Oppen,
%2The Logic of Aliasing%1,
24 pages, May 1979.

STAN-CS-79-741, , , Lyle Harold Ramshaw (Thesis),
%2Formalizing the Analysis of Algorithms%1,
123 pages, June 1979.

STAN-CS-79-742, HPP-79-12, , Anne Gardner,
%2Handbook of Artificial Intelligence:  Search%1,
100 pages, June l979.

.every heading (%3Appendix A,,%3Availability)
Special symbols preceding the report number indicate its availability as of this
writing as follows:
.begin nofill

		+ hard copy or microfiche,
		@ microfiche only,
		* out-of-stock.

If there is no special symbol, then it is available in hard copy only.

In addition, if there is a capital letter "T" after the price column, that 
indicates the report is a thesis.

.begin nofill;select 4
Stanford CS Number	Group Number		NTIS Number	Price

*STAN-CS-63-1					AD462108	
*STAN-CS-63-2					AD427753
*STAN-CS-64-3					AD430445
*STAN-CS-64-4					AD434858
*STAN-CS-64-5		N-6519765		
*STAN-CS-64-6					AD600164
*STAN-CS-64-7					PB176753
*STAN-CS-64-8					AD603116
*STAN-CS-64-9					AD604012
*STAN-CS-64-10					AD603163		T	
*STAN-CS-64-11					PB176754
*STAN-CS-64-12					AD608292
*STAN-CS-64-13		N65-27058
*STAN-CS-64-14		TT-65-61724
*STAN-CS-65-15					AD611366		T
*STAN-CS-65-16					AD611427
*STAN-CS-65-17					AD611434
*STAN-CS-65-18					AD612478
*STAN-CS-65-19		TT-65-61839
*STAN-CS-65-20					PB176755
*STAN-CS-65-21					PB176756
*STAN-CS-65-22					AD616676		T
*STAN-CS-65-23					AD618214		T
*STAN-CS-65-24					AD616611
*STAN-CS-65-25					AD618215
*STAN-CS-65-27					AD618216
*STAN-CS-65-28					AD618217
*STAN-CS-65-29					AD624837
*STAN-CS-65-30					SS624-829
*STAN-CS-65-31					SS626-315
*STAN-CS-65-32					SS633-557
*STAN-CS-65-33					PB176763
*STAN-CS-66-34					SS630-998
*STAN-CS-66-35					PB176758
*STAN-CS-66-36					PB176759
*STAN-CS-66-37					PB176789
*STAN-CS-66-38		AIM-40			AD662880
*STAN-CS-66-39					PB176760
*STAN-CS-66-40					AD639052
*STAN-CS-66-41					SS638-976
*STAN-CS-66-42					SS638-797
*STAN-CS-66-43					SS638-798
*STAN-CS-66-44					SS638-818
*STAN-CS-66-45					SS638-799
*STAN-CS-66-46					SS638-809
*STAN-CS-66-47					PB173335
*STAN-CS-66-48					SS639-166		T
*STAN-CS-66-49		AIM-43			SS640-836		T
*STAN-CS-66-50		AIM-46			PB176761		T
*STAN-CS-66-51					AD648394
*STAN-CS-66-52					PB176762
*STAN-CS-66-53					PB176757
*STAN-CS-67-54					AD662882
*STAN-CS-67-55					AD647200
*STAN-CS-67-56					PB176764
*STAN-CS-67-57					PB176765
*STAN-CS-67-58					PB176766		T
*STAN-CS-67-59					SS650-116
*STAN-CS-67-60					SS650-117
*STAN-CS-67-61					SS650-610
*STAN-CS-67-62					SS650-620
*STAN-CS-67-63					SS650-627
*STAN-CS-67-64					SS651-201
*STAN-CS-67-65					PB176767
*STAN-CS-67-66					AD652921		T
*STAN-CS-67-67					AD652992
*STAN-CS-67-68					PB176768
*STAN-CS-67-69					PB176769
*STAN-CS-67-70					AD655472
*STAN-CS-67-71					AD655230
*STAN-CS-67-72					PB175581
*STAN-CS-67-73					AD662883
*STAN-CS-67-74					AD657639
*STAN-CS-67-75					PB175793
*STAN-CS-67-76					AD657450
*STAN-CS-67-77					PB176770
*STAN-CS-67-78					PB176771
*STAN-CS-67-79					AD662884
*STAN-CS-67-80					AD662902
*STAN-CS-67-81					AD661217	$2.55
*STAN-CS-67-82					PB176775
*STAN-CS-68-83					AD664237
*STAN-CS-68-84					AD692680
*STAN-CS-68-85					PB177426
*STAN-CS-68-86					PB179162
*STAN-CS-68-87					PB178176
*STAN-CS-68-88					AD665672
*STAN-CS-68-89					PB180920
*STAN-CS-68-90					PB178177
*STAN-CS-68-91					PB178114
*STAN-CS-68-92					PB178078
*STAN-CS-68-93					PB178078
*STAN-CS-68-94		SLACR-84					T
*STAN-CS-68-96					AD673673
*STAN-CS-68-98					PB179162
*STAN-CS-68-99					PB179057
*STAN-CS-68-100					PB178877
*STAN-CS-68-101		AIM-60			AD672923		T
*STAN-CS-68-102					AD677982
*STAN-CS-68-103					AD692689
*STAN-CS-68-104					AD673010
*STAN-CS-68-105					AD673674		T
*STAN-CS-68-106		AIM-65			AD673971		T
*STAN-CS-68-107					AD668558
*STAN-CS-68-108					AD692681
*STAN-CS-68-109					AD692690
*STAN-CS-68-110					PB180920
*STAN-CS-68-111					AD692691
*STAN-CS-68-112					AD692687
*STAN-CS-68-113					PB188705
*STAN-CS-68-114					PB182156
*STAN-CS-68-115					AD692686
*STAN-CS-68-116		AIM-72			AD680036		T
*STAN-CS-68-117					PB182151		T
*STAN-CS-68-118		AIM-74			AD681027		T
*STAN-CS-68-119					AD692681
*STAN-CS-68-120					PB182166
*STAN-CS-69-121					AD682978	$2.20
*STAN-CS-69-122					AD687450
*STAN-CS-69-123					AD696982
*STAN-CS-69-124					AD687719
 STAN-CS-69-125		AIM-89			AD692390	$4.50
*STAN-CS-69-126					AD702898	$2.00
*STAN-CS-69-127		AIM-85			AD687720		T
*STAN-CS-69-128					AD687717
*STAN-CS-69-129							$4.15
*STAN-CS-69-130		AIM-83			PB183907		T
*STAN-CS-69-131		SLAC-96						T
*STAN-CS-69-133					AD687718
*STAN-CS-69-134					AD700923
*STAN-CS-69-135		SLACR-102
*STAN-CS-69-136		SLACR-104					T
*STAN-CS-69-137					AD698801	$1.90
*STAN-CS-69-138		AIM-96			AD696394		T
*STAN-CS-69-139		AIM-98			AD695401		T
*STAN-CS-69-140					AD698799	$2.15
*STAN-CS-69-141					PB188542
*STAN-CS-69-143					AD694464		T
*STAN-CS-69-144					AD698800	$1.95
*STAN-CS-69-145					AD698798	$2.45
*STAN-CS-70-146							$2.50	T
*STAN-CS-70-147					AD699897
*STAN-CS-70-148					PB188749
*STAN-CS-70-149					PB188748
*STAN-CS-70-150					AD699898	$2.50
*STAN-CS-70-151							$2.50
*STAN-CS-70-152							$2.40
*STAN-CS-70-153					AD701358	$2.20
*STAN-CS-70-154							$2.40
*STAN-CS-70-155					AD705508
*STAN-CS-70-156					AD713972	$1.85
*STAN-CS-70-157					AD705509
*STAN-CS-70-159					AD708690
*STAN-CS-70-160		TR-5			AD707762
*STAN-CS-70-161		SLACR-117					T
*STAN-CS-70-162		SLACP-760		AD709564
*STAN-CS-70-163					AD708691	$2.35
*STAN-CS-70-164					AD708692	$2.20
*STAN-CS-70-166		AIM-128			AD713841
*STAN-CS-70-167		AIM-129			AD712460
*STAN-CS-70-168		AIM-130			AD713252		T
*STAN-CS-70-169		AIM-126			AD711329
*STAN-CS-70-170		TR-6			AD711334
*STAN-CS-70-171		TR-8			AD714202
*STAN-CS-70-172		TR-7			AD714180
*STAN-CS-70-173		TR-9			AD714181
 STAN-CS-70-174		AIM-127			AD711395	$3.20
*STAN-CS-70-175					AD713842	$1.85
*STAN-CS-70-176		AIM-131			AD715128
*STAN-CS-70-177					AD715511	$2.15
 STAN-CS-70-179		AIM-135			AD716566	$4.50
*STAN-CS-70-180		AIM-132			AD715665		T
*STAN-CS-70-181		AIM-133
*STAN-CS-70-182		AIM-134			AD748565		T
*STAN-CS-70-183		AIM-136			AD717600
*STAN-CS-70-184					AD715512	$1.85
*STAN-CS-70-185					TID22593
*STAN-CS-70-186		AIM-137			AD715513
*STAN-CS-70-187					AD197154
*STAN-CS-70-188		AIM-138			PB197161
 STAN-CS-70-189		AIM-139			AD717601	$2.40
*STAN-CS-70-190					AD719398
*STAN-CS-70-191		SLACP-904		PB198494
*STAN-CS-70-192					AD719399	$1.90
*STAN-CS-70-193		AIM-140
*STAN-CS-70-194					PB198495
*STAN-CS-70-195					AD723871	$2.60
*STAN-CS-70-196					AD725167	$2.10
*STAN-CS-71-197							$2.05
*STAN-CS-71-198					AD726170		T
*STAN-CS-71-199					PB198415
*STAN-CS-71-200					PB198416
*STAN-CS-71-201					AD722434
*STAN-CS-71-202		SLAC-117
*STAN-CS-71-203		AIM-141			AD730506
*STAN-CS-71-204					PB198510
*STAN-CS-71-205		AIM-142			AD731383
*STAN-CS-71-206					AD726158
*STAN-CS-71-207					AD726169
*STAN-CS-71-208					AD726171		T
*STAN-CS-71-209		AIM-143			AD724867
*STAN-CS-71-210					PB201917
*STAN-CS-71-211					AD727104	$1.95
*STAN-CS-71-212					AD727107	$1.90
*STAN-CS-71-213					PB201629	$2.10
*STAN-CS-71-214					AD727108	$1.90
*STAN-CS-71-215					AD727115
*STAN-CS-71-216		AIM-147			AD732457
 STAN-CS-71-217		AIM-148			AD731730	$2.00
*STAN-CS-71-218					AD731038	$1.90
 STAN-CS-71-219		AIM-144					$5.05	T
*STAN-CS-71-220		TR-14			AD727116	$2.65
*STAN-CS-71-221		AIM-145			AD731729
@STAN-CS-71-222					PB235417/AS		T
*STAN-CS-71-223					PB203429		T
*STAN-CS-71-224		AIM-146			PB212183
*STAN-CS-71-225					PB203344
*STAN-CS-71-226		SLAC-133
*STAN-CS-71-227		SLAC-134					T
*STAN-CS-71-228					PB203343
*STAN-CS-71-229					AD732766
 STAN-CS-71-230					PB203601	$5.65
*STAN-CS-71-231		AIM-149			AD732644		T
*STAN-CS-71-232					AD733073
*STAN-CS-71-235		AIM-150
*STAN-CS-71-236					AD737648
*STAN-CS-71-237		TR-16			AD737270
*STAN-CS-71-238		TR-17			AD735901
*STAN-CS-71-239		TR-18			AD736610
*STAN-CS-71-240		AIM-151			AD738568
*STAN-CS-71-241		AIM-152			AD732642
*STAN-CS-71-242		AIM-153			AD738569
*STAN-CS-71-243		AIM-154			AD738570
*STAN-CS-71-244					AD738027		T
*STAN-CS-71-245		AIM-155						T
 STAN-CS-71-246		AIM-156			AD740141	$2.50
*STAN-CS-71-247		AIM-157
*STAN-CS-71-248					AD739335
 STAN-CS-71-250		AIM-158			AD740127	$2.05
*STAN-CS-72-251		TR-19			AD736814
*STAN-CS-72-252		SU326 P30 14
 STAN-CS-72-253		AIM-159					$2.85
*STAN-CS-72-254					AD740330
*STAN-CS-72-255		AIM-160			AD740140
*STAN-CS-72-256					AD740331
*STAN-CS-72-257					PB208519
 STAN-CS-72-258					AD740332	$2.15
*STAN-CS-72-259					PB208595		T
*STAN-CS-72-260					AD740110		T
*STAN-CS-72-261		SU326 P30 15
*STAN-CS-72-262					PB209357
*STAN-CS-72-263					AD741189
*STAN-CS-72-264		AIM-161			AD741189
*STAN-CS-72-265		AIM-162			AD744634
*STAN-CS-72-266		AIM-163						T
*STAN-CS-72-267					PB209629
*STAN-CS-72-268					AD742348
*STAN-CS-72-269					AD742747
*STAN-CS-72-270					PB209616
*STAN-CS-72-271								T
 STAN-CS-72-272		AIM-164			AD742748	$2.50
 STAN-CS-72-273					PB209806	$2.05
 STAN-CS-72-274					AD742749	$2.05
 STAN-CS-72-275					AD742750	$2.20
*STAN-CS-72-276					AD745022		T
*STAN-CS-72-277		SLAC-149
*STAN-CS-72-278		SU326 P30-17
*STAN-CS-72-279					AD744313
 STAN-CS-72-280		AIM-165			AD742751	$3.20
 STAN-CS-72-281		AIM-166			AD743598	$2.85
 STAN-CS-72-282		AIM-167			AD747254	$2.90
 STAN-CS-72-284		O.R. 72-6		AD745778	$3.20
 STAN-CS-72-285					PB210910	$2.20
 STAN-CS-72-286					PB211036	$2.70
 STAN-CS-72-287		AIM-168			AD746146	$2.85
*STAN-CS-72-288		AIM-169
*STAN-CS-72-289		AIM-170			AD748607
*STAN-CS-72-290		AIM-171			AD746147
 STAN-CS-72-291					AD746189	$2.35
*STAN-CS-72-292					AD746150
*STAN-CS-72-293		TN-32			PB212234		T
*STAN-CS-72-294		SLACP-1072
*STAN-CS-72-295					PB212130
*STAN-CS-72-296					AD748606		T
*STAN-CS-72-297					PB212300
*STAN-CS-72-298		TR-25
*STAN-CS-72-299		AIM-172			AD752801
 STAN-CS-72-300		TN-17			AD749848	$1.85
*STAN-CS-72-301		SU326 P30-21
*STAN-CS-72-302		SU326 P30-19
*STAN-CS-72-303		AIM-174			PB212827		T
*STAN-CS-72-304		SU326 P30-20
*STAN-CS-72-305		AIM-173			AD755139		T
*STAN-CS-72-306		SU326 P23-X-2
*STAN-CS-72-307		AIM-175
*STAN-CS-72-308		AIM-176			AD754109
 STAN-CS-72-309		TR-157					$8.75	T
*STAN-CS-72-310		TR-34			AD750671
*STAN-CS-72-311		AIM-177						T
*STAN-CS-72-312		AIM-178			AD754108
*STAN-CS-72-313					PB218353/1
*STAN-CS-72-314		TR-43			PB212893		T
*STAN-CS-72-315		TR-44			PB212894		T
*STAN-CS-72-316		TR-45			PB212828		T
*STAN-CS-72-317		TR-26			AD750672
*STAN-CS-72-318					AD755140
*STAN-CS-72-319		SU326 P30-22
*STAN-CS-72-320		AIM-179
*STAN-CS-72-321		AIM-180			AD759712		T
*STAN-CS-72-322		SU326 P30-23
*STAN-CS-72-324		TR-48			PB214612		T
*STAN-CS-72-325		AIM-181
*STAN-CS-72-326		AIM-182			AD754107
*STAN-CS-72-327					AD755138
*STAN-CS-72-328		TR-31			PB218929
*STAN-CS-72-329					PB218875		T
*STAN-CS-73-330		AIM-184			AD758651
*STAN-CS-73-331		AIM-187			AD757364
*STAN-CS-73-332		AIM-186			AD758645
*STAN-CS-73-333		AIM-185			AD757367
*STAN-CS-73-334					AD757366
 STAN-CS-73-335		SU326 P30-24				$2.05
*STAN-CS-73-336		AIM-188			AD758646		T
*STAN-CS-73-337		AIM-189			PB218682
*STAN-CS-73-338					AD759713
*STAN-CS-73-339		SU326 P30-25
 STAN-CS-73-340		AIM-190			AD759714	$2.25
*STAN-CS-73-341		AIM-191			AD764272
*STAN-CS-73-342					AD759715
 STAN-CS-73-343							$8.30	T
*STAN-CS-73-344		AIM-183			AD759716
 STAN-CS-73-345		AIM-192					$2.05
*STAN-CS-73-346		AIM-193			AD759717
 STAN-CS-73-347		AIM-194			PB221170/4	$2.00
*STAN-CS-73-348		SU326 P30-26		PB222513
*STAN-CS-73-349					PB221115
*STAN-CS-73-350		TR-53			AD761177
*STAN-CS-73-351		TR-27			AD761175
 STAN-CS-73-352		TR-28			AD761176	$1.90
 STAN-CS-73-353		TR-29			AD761185	$1.90
 STAN-CS-73-354					PB221165/4	$1.90
*STAN-CS-73-355		TR-57			AD764598
*STAN-CS-73-356		AIM-195			PB222164
*STAN-CS-73-357		AIM-196			AD762471
*STAN-CS-73-358		AIM-197			AD762470
*STAN-CS-73-359		TN-25			PB222064
*STAN-CS-73-360		TR-33			AD764014
*STAN-CS-73-361		Serra			AD764273
*STAN-CS-73-363		Serra			PB222099		T
 STAN-CS-73-364		AIM-198			AD763611	$2.75
@STAN-CS-73-365		AIM-200			AD767331
*STAN-CS-73-366		AIM-201			AD763673		T
*STAN-CS-73-367					AD763601
*STAN-CS-73-368		AIM-202			AD764396
*STAN-CS-73-369		AIM-203			AD764274
*STAN-CS-73-370		AIM-205			AD764288
 STAN-CS-73-371					AD223572/AS	$2.45
*STAN-CS-73-372					AD767970		T
*STAN-CS-73-373		AIM-204			AD765353/BWC
*STAN-CS-73-374					AD764275		T
*STAN-CS-73-375		SU-326 P30-27
 STAN-CS-73-376		SU326 P30-28				$2.30
 STAN-CS-73-377		AIM-206			AD764652	$2.25
 STAN-CS-73-378		AIM-207			AD767333	$2.40
 STAN-CS-73-379		AIM-208			AD767334	$2.40
*STAN-CS-73-380		AIM-209			AD767695/O WC		T
*STAN-CS-73-381					AD767694
 STAN-CS-73-382		AIM-210			AD767335	$2.40
*STAN-CS-73-383		AIM-211			AD769673
*STAN-CS-73-384		AIM-212			AD769379
 STAN-CS-73-385		AIM-213					$2.75
*STAN-CS-73-386		AIM-214			AD767332
*STAN-CS-73-387		AIM-215			AD769380
*STAN-CS-73-388		TR-74			PB226044/AS
*STAN-CS-73-389		AIM-216			AD771299
*STAN-CS-73-391		AIM-217			AD770610
 STAN-CS-73-392							$2.60
*STAN-CS-73-393		AIM-218			AD772063/4WC
*STAN-CS-73-394		AIM-219			AD769674
 STAN-CS-73-396		AIM-220			AD772064	$2.45
*STAN-CS-73-397		SU326 P30-28A
 STAN-CS-73-398		AIM-199			AD771300	$3.15
*STAN-CS-73-399		SU326 P30-29
*STAN-CS-73-400		AIM-223			AD772509
*STAN-CS-73-401					PB226691/AS
*STAN-CS-73-402					PB229616/AS
@STAN-CS-73-403		AIM-224			AD773391
*STAN-CS-74-404					AD775452
@STAN-CS-74-406		AIM-225			AD775645
@STAN-CS-74-407		AIM-226			AD778310
@STAN-CS-74-408		AIM-227			AD-A003 483
@STAN-CS-74-409		AIM-228			AD776233
*STAN-CS-74-410		TR-46			PB231926/AS		T
@STAN-CS-74-411		AIM-229
@STAN-CS-74-412		AIM-230			AD786721		T
@STAN-CS-74-413		AIM-231			AD-A001 814		T
@STAN-CS-74-414		AIM-232			AD780452
*STAN-CS-74-415					PB233065/AS		T
*STAN-CS-74-416					PB233507/AS
*STAN-CS-74-417					PB234102/AS
*STAN-CS-74-418					PB233045/AS		T
@STAN-CS-74-419		AIM-233			AD-A000 086		T
*STAN-CS-74-420		TR-50			PB232543/AS
*STAN-CS-74-421		TR-51			PB232356/AS		T
*STAN-CS-74-422		TR-79			NASA-TM-62,370
*STAN-CS-74-423		TN-41			PB232860/AS
*STAN-CS-74-424		TR-80			PB232602/AS		T
*STAN-CS-74-425		TR-81			PB232598/AS		T
*STAN-CS-74-426		TR-82			PB232597		T
*STAN-CS-74-427		TN-36			PB232624/AS		T
*STAN-CS-74-428		TR-76			PB232633/AS		T
*STAN-CS-74-429		TR-70			PB232623/AS		T
*STAN-CS-74-430		TR-71			PB234513/AS		T
@STAN-CS-74-431		AIM-234
+STAN-CS-74-432		AIM-235			AD-A006 898	$3.30
*STAN-CS-74-433		AIM-236			AD784513
 STAN-CS-74-434		SU326 P30-31				$3.10
*STAN-CS-74-435		TR-88			A001-071
@STAN-CS-74-436		AIM-237			AD-A012 477
@STAN-CS-74-437		AIM-238			AD-A005 040		T
@STAN-CS-74-438		AIM-239			AD786720		T
*STAN-CS-74-439		OR-74-7
			SU326 P30-32
*STAN-CS-74-440					PB237360/AS
*STAN-CS-74-441					AD-A000 284
*STAN-CS-74-442					AD-A004 208
@STAN-CS-74-443					PB-236 471/AS		T
@STAN-CS-74-444		AIM-240			AD787035
*STAN-CS-74-445		SLACP-1448
+STAN-CS-74-446		AIM-241			AD786723	$2.95
@STAN-CS-74-447		AIM-221			AD787631
 STAN-CS-74-448		SU326 P30-33				$2.95
*STAN-CS-74-449		TR-89			AD785027		T
*STAN-CS-74-450		TR-90			AD787008		T
*STAN-CS-74-451		TR-91			AD786999		T
@STAN-CS-74-452		AIM-242			AD-A000 500		T
 STAN-CS-74-453					AD-A000 034	$2.70
 STAN-CS-74-454		SU326 P30-35				$2.15
*STAN-CS-74-455					AD-A000 083
@STAN-CS-74-456		AIM-243			AD-A003 815
@STAN-CS-74-457		AIM-244
@STAN-CS-74-458		AIM-245			AD784816		T
@STAN-CS-74-459		AIM-246			AD-A000 085
 STAN-CS-74-460					PB238148/AS	$2.45
@STAN-CS-74-461		AIM-247			AD-A005 041		T
+STAN-CS-74-462		AIM-248					$2.15
@STAN-CS-74-463		AIM-249			AD-A002 261		T
@STAN-CS-74-464		AIM-250			AD-A003 488		T
@STAN-CS-74-465		AIM-251			AD-A001 373		T
@STAN-CS-74-466		AIM-252			AD-A002 246
+STAN-CS-74-467		AIM-222			AD-A007 562	$3.25
 STAN-CS-74-468					AD-A003 832	$2.45
 STAN-CS-74-469							$2.80
+STAN-CS-74-471		AIM-253			AD-A003 487	$2.75
+STAN-CS-74-472		AIM-254			AD-A005 407	$2.15
@STAN-CS-74-473		AIM-255			AD-A005 412
@STAN-CS-74-474		AIM-256			AD-A007 563
@STAN-CS-75-475		AIM-257			AD-A005 413		T
@STAN-CS-75-476		AIM-258			AD-A006 294
 STAN-CS-75-477							$2.20
*STAN-CS-75-478		SU326 P30-36
*STAN-CS-75-479		SU326 P30-38
*STAN-CS-75-480					A008804
 STAN-CS-75-481		SU326 P30-39				$2.60
*STAN-CS-75-482		SLACP-1549
 STAN-CS-75-483					AD-A011 835	$1.90
 STAN-CS-75-484					AD-A011 832	$2.20
 STAN-CS-75-485					AD-A011 834	$2.20
*STAN-CS-75-486		SU326 P30-37
 STAN-CS-75-487		SLACP-1573				$2.70
 STAN-CS-75-488					AD-A011 445	$2.20
 STAN-CS-75-489					AD-A011 833	$1.90
 STAN-CS-75-490					AD-A014 429	$2.60
*STAN-CS-75-491								T
*STAN-CS-75-492								T
 STAN-CS-75-493					PB244421/AS	$2.80
*STAN-CS-75-494								T
 STAN-CS-75-495					AD-A014 424	$2.60
*STAN-CS-75-496		SU326 P30-41					T
 STAN-CS-75-497					AD-A016 825	$3.10
@STAN-CS-75-498		AIM-259			AD-A017 025		T
@STAN-CS-75-499		AIM-260						T
*STAN-CS-75-500					PB246708/AS
+STAN-CS-75-501		AIM-261			AD-A016 810	$1.95
*STAN-CS-75-502		AIM-262			AD-A016 808
+STAN-CS-75-503		AIM-263			AD-A016 807	$2.25
 STAN-CS-75-504					AD-A017 370	$1.85
 STAN-CS-75-505					AD-A017 053	$2.60
+STAN-CS-75-506		AIM-264			AD-A017 176	$2.65
+STAN-CS-75-507		AIM-265					$2.50
 STAN-CS-75-509					AD-A017 331	$3.90
 STAN-CS-75-510					AD-A017 054	$2.00
 STAN-CS-75-511					AD-A017 294	$2.75
*STAN-CS-75-512					PB247895/AS
 STAN-CS-75-513		SLACR-186				$2.60
*STAN-CS-75-514					PB247561/AS
 STAN-CS-75-515							$2.35
*STAN-CS-75-516		SU326 P30-42
 STAN-CS-75-518					AD-A018 461	$2.50
+STAN-CS-75-519		AIM-266			AD-A019 641	$2.75
+STAN-CS-75-520		AIM-267			AD-A019 664	$2.85
+STAN-CS-75-521		AIM-268					$2.15
+STAN-CS-75-522		AIM-269			AD-A019 569	$2.50
@STAN-CS-75-523		AIM-270			AD-A019 467
@STAN-CS-75-524		AIM-271			AD-A019 702
+STAN-CS-75-525		AIM-272					$7.40	T
*STAN-CS-75-526					AD-A020 848
*STAN-CS-75-527		TR-100
*STAN-CS-75-528					AD-A020 597
 STAN-CS-75-529		SLACP-1665				$2.60
*STAN-CS-75-530		SU326 P30-40
*STAN-CS-75-531					AD-A020 847
 STAN-CS-76-533		LBL-4604				$2.40
			SU326 P30-44
@STAN-CS-76-534		AIM-273						T
+STAN-CS-76-536		AIM-274			AD-A020 942/9WC	$2.60
+STAN-CS-76-537		AIM-275			AD-A020 943/7WC	$4.00
 STAN-CS-76-538					AD-A024 416	$3.00
+STAN-CS-76-539		AIM-276			AD-A021 055/9WC	$2.40
 STAN-CS-76-540					AD-A021 587	$1.90
@STAN-CS-76-542		AIM-277			AD-A027 454
 STAN-CS-76-545							$2.35
 STAN-CS-76-546		SLACP-1715				$2.45
 STAN-CS-76-547							$2.60
*STAN-CS-76-548								T
+STAN-CS-76-549		AIM-278			AD-A027 455	$3.05
 STAN-CS-76-550							$2.35
@STAN-CS-76-552		AIM-279						T
 STAN-CS-76-553					AD-A032 772	$2.35
 STAN-CS-76-554							$7.25	T
+STAN-CS-76-555		AIM-280					$2.40
+STAN-CS-76-556							$5.55	T
+STAN-CS-76-557					AD-A032 122	$2.25
+STAN-CS-76-558		AIM-281.1		AD-A042 507	$2.85
@STAN-CS-76-559					AD-A032 348
+STAN-CS-76-560		AIM-282					$8.10	T
+STAN-CS-76-561							$5.60
+STAN-CS-76-562					AD-A032 123	$3.50
@STAN-CS-76-564		AIM-283						T
+STAN-CS-76-565					AD-A032 802	$4.70	T
@STAN-CS-76-566								T
@STAN-CS-76-567		AIM-284						T
@STAN-CS-76-567		AIM-285			PB-259 130/2WC
+STAN-CS-76-568/4	AIM-285.4				$8.85
+STAN-CS-76-569					PB-261 814/AS	$3.10
@STAN-CS-76-570		AIM-286						T
+STAN-CS-76-571		AIM-287					$4.45	T
+STAN-CS-76-572		AIM-288					$2.70
+STAN-CS-76-573					AD-A032 945	$4.40
+STAN-CS-76-574		AIM-289					$6.70
+STAN-CS-76-575		AIM-290			AD-A042 494	$3.20
+STAN-CS-76-576					AD-A035 350	$3.35
@STAN-CS-76-577		AIM-291			AO44 713
+STAN-CS-76-578					AD-A035 219	$3.45
+STAN-CS-76-579		SLACP-1826				$2.60
+STAN-CS-76-580		AIM-292					$2.55
@STAN-CS-76-581		AIM-293			AD-A042 508
+STAN-CS-76-582					AD-A038 863	$1.95
+STAN-CS-77-583					AD-A038 864	$2.80
+STAN-CS-77-584					AD-A038 865	$2.60
+STAN-CS-77-586		AIM-294			AD-A042 516	$2.95
+STAN-CS-77-587					AD-A038 867	$2.70
@STAN-CS-77-588					PB-266 381/AS
+STAN-CS-77-589		HPP-77-2		AD-A038 866	$2.70
@STAN-CS-77-590					AD-A038 868
+STAN-CS-77-591		AIM-295					$8.55	T
+STAN-CS-77-592		AIM-296					$6.15	T
@STAN-CS-77-593		HPP-77-1
+STAN-CS-77-594		SLAC-200				$4.85	T
+STAN-CS-77-595							$4.85	T
+STAN-CS-77-596		HPP-77-5				$4.40
+STAN-CS-77-597		HPP-77-6				$2.30
*STAN-CS-77-598					AD-A040 486
+STAN-CS-77-599					AD-A040 441	$3.30
@STAN-CS-77-600					AD-A040 538		T
@STAN-CS-77-601					A045 652		T
+STAN-CS-77-603					AD-A041 292	$2.95
@STAN-CS-77-604					AD-A040 399
@STAN-CS-77-605		HPP-77-14		AD-A042 834 
+STAN-CS-77-607		TR-133					$2.45
@STAN-CS-77-608								T
@STAN-CS-77-609					AD-A043 362
@STAN-CS-77-610		AIM-297
@STAN-CS-77-611		AIM-298			AD-A046 703
+STAN-CS-77-612		HPP-77-7		AD-A042 756	$2.50
+STAN-CS-77-613							$2.60
+STAN-CS-77-614		AIM-299					$2.95
@STAN-CS-77-616					AD-A046 311
@STAN-CS-77-617		AIM-300
+STAN-CS-77-618		HPP-77-28		AD-A045 948	$2.90
+STAN-CS-77-619					AD-A046 481	$1.90
+STAN-CS-77-621		HPP-77-25		AD-A046 289	$2.20
*STAN-CS-77-624		AIM-301			AD-A044 231
+STAN-CS-77-625					AD-A046 090	$2.90
+STAN-CS-77-626							$2.30
+STAN-CS-77-627					AD-A048 786	$2.60
+STAN-CS-77-628					AD-A048 787	$2.65
+STAN-CS-77-629							$2.90
+STAN-CS-77-630		AIM-302					$5.05
@STAN-CS-77-631		AIM-303			AD-A050 806
+STAN-CS-77-632		AIM-304			AD-A048 684	$4.55	T
+STAN-CS-77-633		AIM-305			AD-A048 660	$4.60	T
@STAN-CS-77-636					AD-A048 788
+STAN-CS-77-637							$2.45
+STAN-CS-77-638		SU326 P30-57				$3.10
+STAN-CS-77-639		AIM-306			AD-A053 175	$3.45
+STAN-CS-77-640 	AIM-307			AD-A053 176	$2.00
+STAN-CS-77-641		AIM-308			AD-A053 184	$7.85	T
+STAN-CS-77-642							$2.75
+STAN-CS-77-643							$3.20
+STAN-CS-77-644							$6.30	T
+STAN-CS-77-645							$2.60
+STAN-CS-77-646		AIM-309					$2.50
+STAN-CS-78-647							$2.25
@STAN-CS-78-648					AD-A054 143
+STAN-CS-78-649		HPP-78-1				$2.40
@STAN-CS-78-650					AD-A054 144
+STAN-CS-78-651		AIM-310			AD-A058 601	$2.50
+STAN-CS-78-652		AIM-311					$2.25
+STAN-CS-78-653							$2.20
+STAN-CS-78-654					PB288520/AS	$2.40
+STAN-CS-78-655							$1.90
+STAN-CS-78-657		AIM-312					$2.00
+STAN-CS-78-658		SLAC-205				$6.00	T
+STAN-CS-78-659		SLAC-206				$3.45	T
@STAN-CS-78-660		AIM-313						T
+STAN-CS-78-661					AD-A060 794	$2.35
+STAN-CS-78-662							$3.10
+STAN-CS-78-663					AD-A060 793	$2.55
+STAN-CS-78-664							$2.20
+STAN-CS-78-665		TR-152					$2.80
+STAN-CS-78-666		TR-153					$2.50
+STAN-CS-78-667		HPP-78-7		AD-A060 795	$2.50
+STAN-CS-78-668		HPP-78-10				$2.85
@STAN-CS-78-671		AIM-316						T
@STAN-CS-78-672								T
@STAN-CS-78-673		SU36 P30-59					
+STAN-CS-78-674		SU326 P30-60				$3.85
+STAN-CS-78-675		AIM-317					$7.30
@STAN-CS-78-676		SLACR-213					T
+STAN-CS-78-677							$8.40
@STAN-CS-78-678		AIM-314
+STAN-CS-78-679							$3.30
 STAN-CS-78-680							free
@STAN-CS-78-681					AD-A065 283		T
@STAN-CS-78-682					AD-A065 265		T
@STAN-CS-78-683					AD-A065 284
+STAN-CS-78-684		SU326 P30-63				$2.20
+STAN-CS-78-685					AD-A065 285	$6.40	T
+STAN-CS-78-686							$2.65
+STAN-CS-78-687		AIM-315			AD-A065 698	$2.85
+STAN-CS-78-688		AIM-318					$3.25
+STAN-CS-78-689		AIM-319					$2.30
+STAN-CS-78-690		AIM-320			AD-A065 558	$2.55
+STAN-CS-78-691					AD-A066 058	$5.05	T
@STAN-CS-78-692		HPP-77-39		AD-A066 147
+STAN-CS-78-693					AD-A066 099	$3.45
+STAN-CS-78-694							$2.50
@STAN-CS-78-695		AIM-321			AD-A066 562
@STAN-CS-78-696		HPP-78-22		AD-A068 538
+STAN-CS-78-697							$5.10
@STAN-CS-78-698								T
+STAN-CS-78-699		HPP-78-23		AD-A068 539	$3.55
 STAN-CS-78-700		HPP-78-28		AD-A068 230	$5.90	T
@STAN-CS-79-701							$7.00	T
 STAN-CS-79-702							$2.65
 STAN-CS-79-703					AD-A068 228	$2.40
 STAN-CS-79-704					AD-A068 232	$2.60
@STAN-CS-79-705							$7.20	T
 STAN-CS-79-706							$2.05
 STAN-CS-79-707							$4.05
 STAN-CS-79-708							$2.20
 STAN-CS-78-709					AD-A068 231	$3.10
 STAN-CS-79-710					AD-A068 210	$3.15
@STAN-CS-78-711							$7.75	T
 STAN-CS-79-712					AD-A068 393	$3.35
 STAN-CS-79-713							$3.10
*STAN-CS-79-714		CSL TN-160
*STAN-CS-79-715		CSL TN-161
 STAN-CS-79-716		AIM-322					$2.70
 STAN-CS-79-717		AIM-324					$2.60
 STAN-CS-79-718		AIM-323					$5.55
@STAN-CS-79-719							$3.25
@STAN-CS-79-720							$2.35
 STAN-CS-79-721							$2.30
 STAN-CS-79-722							$3.30
 STAN-CS-79-723							$3.20
 STAN-CS-79-724		AIM-325					$2.25
 STAN-CS-79-725		AIM-326					$2.40
 STAN-CS-79-726							$3.25
@STAN-CS-79-727		AIM-327					$8.30	T
 STAN-CS-79-728							$2.05
 STAN-CS-79-729					AD-A068 229	$2.90
 STAN-CS-79-730							$8.40
 STAN-CS-79-732							$5.10
 STAN-CS-79-733							$2.35
 STAN-CS-79-734							$3.10
@STAN-CS-79-738		SU326 P30-65
 STAN-CS-79-739		HPP-79-14				$2.25
@STAN-CS-79-741								T
@STAN-CS-79-742		HPP-79-12
.next page
.every heading (%3Appendix B,,%3Heuristing Programming Project)
.begin center


@There are six informal groups within the Heuristic Programming Project.
.begin nofill
	Knowledge-Based Consultation Systems (MYCIN)

.begin indent 0,10,0
HPP-64-1, J. Lederberg, %2DENDRAL-64-A System for Computer Construction, Enumeration 
and Notation of Organic Molecules as Three Structures and Cyclic Graphs%1 
(technical reports to NASA, also available from the author and summarized in 

HPP-64-2, J. Ledergerg, %2Computation of Molecular Formulas for Mass 
Spectrometry%1, Holden-Day Incorporated, 1964.

HPP-65-1, J. Lederberg, %2Topological Mapping of Organic Molecules%1,
NASA CR-48899, 1965, Proceedings of the National Academy of Science, 53
1, 134, January.

HPP-65-2, J. Lederberg, %2Systematics of Organic Molecules, Graph Topology 
and Hamilton Circuits.  General outline of the DENDRAL system.%1  April 1965.

HPP-65-3, Edward A. Feigenbaum and Richard W. Watson, AIM-30, 
AD785056, %2An Initial Problem Statement for a Machine Induction Research 
Project%1 (working paper), April 1965.

HPP-66-1, Donald A. Waterman, AIM-38, AD785066,
%2A Filter for a Machine Induction System%1 (working paper), January 1966.

HPP-66-2, Staffan Persson, STAN-CS-66-50, AIM-46, PB176761,
%2Some Sequence Extrapolating Programs: a study of representation
and modeling in inquiring systems%1, Ph.D. Thesis in Computer Science,
(U.C. Berkeley, September 1966).

HPP-66-3, Bruce Buchanan, AIM-47, %2Logics of Scientific Discovery%1, Ph.D.
Thesis in Philosophy (Michigan State University, December 1966).

HPP-67-1, Georgia Sutherland, AIM-49, %2DENDRAL - a Computer
Program for Generating and Filtering Chemical Structures%1 (working paper), 
February 1967.

HPP-67-2, J. Lederberg, %2Hamilton Circuits of Convex Trivalent Polyhedra
(up to 18 vertices)%1, American Mathematics Monthly, 74, 5, May 1967.

HPP-67-3, Joshua Lederberg and Edward A. Feigenbaum, AIM-54, %2Mechanization
of Inductive Inference in Organic Chemistry%1, in B. Kleinmuntz (ed.),
Formal Representations for Human Judgment, New York:Wiley, 1968.

HPP-68-1, Edward Feigenbaum, Georgia Sutherland and Bruce Buchanan,
%2Heuristic DENDRAL: A Program for Generating Explantory Hypothesis in
Organic Chemistry%1, in B.K. Kinariwala and F.F. Kuo (eds.), Proceedings
of the Hawaii International Conference on System Sciences, January 1968,
University of Hawaii Press, 1968.

HPP-68-2, J. Lederberg, %2Online Computation of Molecular Formulas from
Mass Number%1, NASA CR-94977, 1968.

HPP-68-3, Bruce G. Buchanan, Georgia Sutherlnd and Edward A. Feigenbaum,
AIM-62, %2Heuristic DENDRAL: A Program for Generating Explantory Hypotheses
in Organic Chemistry%1, in B. Melzer and D. Michie (eds.), Machine Intelligence
4, Edinburgh:Edinburgh University Press, 1969.

HPP-68-4, Edward A. Feigenbaum, AIM-67, AD680487, %2Artificial Intelligence:
Themes in the Second Decade%1, 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, %2Machine
Learning of Heuristics%1, Ph.D. Thesis in Computer Science (Stanford University,
December 1968).

HPP-69-1, Georgia Sutherland, AIM-80, AD685612, %2Heuristic
DENDRAL: a Family of LISP Programs%1 (working paper), March 1969.

HPP-69-2, Bruce G. Buchanan, G.L. Sutherland and E.A. Feigenbaum, AIM-99,
%2Toward an Understanding of Information Processes of Scientific Inference in
the Context of Organic Chemistry%1, in B. Meltzer and D. Michie (eds.), Machine
Intelligence 5, Edinburgh:Edinburgh University Press, 1970.

HPP-69-3, Donald A. Waterman, AIM-102, %2Generalization Learning Techniques for
Automating the Learning of Heuristics%1, in Artificial Intelligence, 1, 121,
July 1969.

HPP-69-4, Joshua Lederberg, Georgia Sutherland and Bruce G. Buchanan, AIM-104,
%2A Heuristic Program for Solving a Scientific
Inference Problem: Summary of Motivation and Implementation%1, in R. Banerji
and Mesarovic (eds.), Theoretical Approaches to Non-Numerical Problem Solving,
New York:Springer-Verlag, 1970.

HPP-69-5, J. Lederberg, %2Topology of Molecules%1, 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. Sutherland, B.G. Buchanan, E.A. Feigenbaum,
A.V. Robertson, A.M. Duffield and C. Djerassi, %2Applications of Artificial
Intelligence for Chemical Inference I.  The Number of Possible Organic
Compounds: Acyclic Structures Containing C, H, O and N%1; 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. Sutherland, E.A. Feigenbaum and J. Lederberg, %2Application of
Artificial Intelligence for Chemical Inference II.  Interpretation of
Low Resolution Mass Spectra of Ketones%1, Journal of the American
Chemical Society, 91, 11 May 1969.

HPP-69-8, C.W. Chruchman and B.G. Buchanan, %2On the Design of Inductive 
Systems: Some Philosophical Problems%1, 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. Sutherland, E.A. Feigenbaum and J. Lederberg, %2Application of
Artificial Intelligence for Chemical Inference III.  Aliphatic Ethers
Diagnosed by Their Low Resolution Mass Spectra and NMR Data%1, 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 and G. Schroll, %2Application of Artificial
Intelligence for Chemical Inference IV.  Saturated Amines Diagnosed by
Their Low Resolution Mass Spectra and Nuclear Magnetic Resonance Spectra%1,
Journal of the American Chemical Society, 92, 6831, 1970.

HPP-70-2, Bruce G. Buchanan and Thomas E. Hedrick, AIM-123, %2Some Speculation
About Artificial Intelligence and Legal Reasoning%1, Stanford Law Review,
23, 40, November 1970.

HPP-70-3, Y.M. Sheikh, A. Buchs, A.B. Delfino, G. Schroll, A.M. Duffield,
C. Djerassi, B.G. Buchanan, G.L. Sutherland, E.A. Feigenbaum and J. Lederberg,
%2Applications 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 C↓6H∪[10]O%1, 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 and J. Lederberg, %2Applications of Artificial Intelligence for
Chemical Inference VI.  Approach to a General Method of Interpreting Low
Resolution Mass Spectra with a Computer%1, Helvetica Chimica Acta, 53, 1394, 1970.

HPP-70-5, Edward A. Feigenbaum, Bruce G. Buchanan and Joshua Lederberg,
AIM-131, STAN-CS-70-176, AD715128, %2On Gererality and Problem Solving: a Case
Study Using the DENDRAL Program%1, in B. Meltzer and D. Michie (eds.), Machine
Intelligence 6, Edinburgh:Edinburgh University Press, 1971.

HPP-70-6, B. G. Buchanan, G. L. Sutherland and E. A. Feigenbaum,
%2Rediscovering some Problems of Artificial Intelligence in the Context of
Organic Chemistry%1, Machine Intelligence 5, 253, Edinburgh:Edinburgh University
Press, 1970.

HPP-71-1, A. Buchs, A.B. Delfino, C. Djerassi, A.M. Duffield, B.G. Buchanan,
E.A. Feigenbaum, J. Lederberg, G. Schroll and G.L. Sutherl, %2Applications
of Artificial Intelligence for Chemical Inference VII.  The Application of
Artificial Intelligence in the Interpretation of Low-Resolution Mas Spectra%1,
Advances in Mass Spectrometry, 5, 314, 1971.

HPP-71-2, Bruce G. Buchanan and Joshua Lederberg, AIM-141, STAN-CS-71-216, 
AD732457, %2The Heuristic DENDRAL Program
for Explaining Empirical Data%1, in Proceedings of the IFIP Congress 71,
Ljubljan, Yugoslavia, February 1971.

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

HPP-71-4, B.G. Buchanan, E.A. Feigenbaum and J. Lederberg, AIM-145, %2A
Heuristic Programming Study of Theory Formation in Science%1, in Proceedings
of the Second International Joint Conference on Artificial Intelligence,
Imperial College, London, 1971.

HPP-71-5, B.G. Buchanan, A.M. Duffield and A.V. Robertson, %2An Application of
Artificial Intelligence to the Interpretation of Mass Spectra%1, in G.W.A.
Milide (ed.), Mass Spectrometry Techniques and Applications, New York:Wiley,
1971, p.121.

HPP-72-1, D.H. Smith, B.G. Buchanan, R.S. Engelmore, A.M. Duffield, A. Yeo,
E.A. Feigenbaum, J. Lederberg and C. Djerassi, %2Applications 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%1, Journal of the American
Chemical Society, 94, 5962, 1972.

HPP-72-2, B.G. Buchanan, E.Z. Feigenbaum and N.S. Sridharan, %2Heuristic
Theory Formation: Data Interpretation and Rule Formation%1, In B. Meltzer
and D. Michi (eds.), Machine Intelligence 7, Edinburgh:Edinburgh University
Press, 1972.

HPP-72-3, Bruce G. Buchanan, AIM-181, STAN-CS-72-325, %2Review of Hubert
Dreyfus' "What Computers Can't Do": a Critique of Artificial Reason%1,
Computing Reviews, January 1973.

HPP-72-4, J. Lederberg, %2Rapid Calculation of Molecular Formulas from Mass
Values%1, Journal of Chemical Education, 49, 613, 1972.

HPP-72-5, Joshua Lederberg, %2Use of a Computer to Identify Unknown Compounds:
The Automation of Scientific Inference%1, in George R. Waller (ed.),
Biochemical Applications of Mass Spectrometry, New York:Interscience, 1972.

HPP-72-6, H. Brown, L. Hjelmeland and L. Masinter, STAN-CS-72-318, %2Constructive
Graph Labeling Using Double Cosets%1, Discrete Mathematics, 7, 1, 1974.

HPP-73-1, D.H. Smith, B.G. Buchanan, R.S. Engelmore, H. Aldercreutz and
C. Djerassi, %2Applications of Artifi`↓pN1α'w#↔33N;↔;∂*β≠?I∧≠#↔7N≠π1αNs≠↔K.s∂∀4TJa9↓∧;π3O≠'Mβ}1α7'G#WK↔~β←'SF{WQαπ∪'?I¬≠↔Cπ⊗S'?rβπMαNc3WO'∪πS↔"β≠?I∧+OSK};↔;M+	04*V{WK;∞aβ?→π##∃α∞k↔K'≡9α∂F+7'∂∞aαO?≡K↔Seb↓eU1β1A]ab↓Ee]~p4(4TBBA5;→5I1∧!:!9¬≠7'SBaα	::qαW≡Cπ;πraα]:~qα←#O#∃1α*r¬9α6+'∨↔v∪πW5bα
9α&S↔Kπ∨≠$4+∞s⊃α)rα3↔∪/∪↔K:a↓∃J∂βC3'≡S'?w→β?→∧KS'6K∂'πbα';S.c3'∨.s∂∃β6{Iα∂F+7'∂∞aα';6+K↔;≡(4*ar↓α&:%~V59αα¬α∪∂#¬α'w#↔KC⊗+SπSN{9αC⊗{∨KπjβπMα∂βC3'.!βS=π##∃α≡{33↔∨#↔⊃αnOL4U≠C↔∂'∪¬β?2α↔OS⊗{∨↔;N→αOS/∪?'∪~)E1α&+SKπF+∪K?ra↓Ieb↓MEE:a↓Ee;→84(hR"BAk9M5Mbα#πK}c⊃α⊗{←9β∞s⊃α3∂∪KeαnO';&+I1α≥"ε96≥→5]Mk→YE1α)Jπ9∧3∨?⊗KS#5ε3?H4W##∃α≡{;OS↔+∂S'}qβ?→π##∃α?∪πC#~β?→α␈∪∨π;N→α7?f+∂W3/→∃E1∧#'O∂⊗+S∃αnS#↔nS'∂~`4)ab↓II]b↓Ee]"p4(4TBBA5;→5Q1∧q:M9¬≠K'∪FKπ9ε+Qβπbq1αεLi5IA*aαNRq6∞Mk9M5M;↓1αε#9YQICA1↓∃∀λ4*#/+K'O&K
α7}c↔∂Wf+M∃E`h*+Wv)↓Ee;→84(hR"BAk9M5Ubα9:MrαOK'&CπKπraαNRq6∞Mk9M5MC	1↓∃∀≠?7C/#↔Iα>+;↔K∂#'?8hS?→α6+KS↔Bα∨KπεCM∃EαC←?K↑K;≥βεC↔IJaα+WgI↓Ee;→84(hR"BAk9M5YbαI9α≡K#π↔!βπ;"α
aα+?/∪;π1ε{→βSF)απ7/∪'∂πrα∂#↔nK∂π1¬≠?∂'/#d4)Eβ↔K/Nqα&%Ja↓I1β	]UMb↓Ee]~p4(4TBBA5;→5]1∧⊃:≥9∧∪W∂#∞sπ9β∞s⊃α9u→9αO⊗K∪#π⊗91αJ55I)1αN$
96∞~i]M5≠A]1α!]Ye≠AA04R)Jπ;∞cgO'~β?→α⊗+#π[N{Iβ?2α∂#↔nK∂π1∧k?3↔∨+3↔MRαKW3*α≠?KnS'?rβ?9αv{96#}k?∨↔v+?WLhR∂3π∨≠↔Mβ}1α?V+∂SM+	1β'rαCK?≡+↔∪'v;Mβ?2βS#∃¬##'K"α';S/∪;πSN{;π1∧S?';"α∂?;6+K↔;≡(4+?rαπKSN3'∂'∞aα';&+33'>+;∂∃bαOSπv3?K⊃bα∂π3N3?K;N	1απ.;WOQβ	e]Mph(4*EαA5]~ia1α"qα7'≡C'∃β∞s⊃α	t99α.≠#π;∞q1↓∃∀≠WKK.sQαO&SWMε{→βSF)α#↔/∪'OSN→α∩⊗t"Jε0hRCK??∪π5β6{Iαππβ3g'v9απK&K≠'∂N1α'w#↔33N;↔;∂*βS=β&C∃α'w#↔KC⊗+SπSN{9β?2α7πO_h*OC.≠SK¬+	1β'rαI:¬t99α∂∂∪K';?#?9↓F+⊃9%bα∂?7π+S↔K~β≠?I¬≠C↔∂'∪?O∂␈βe1hR3?;&{9jπ&5α#Nc∨↔Ib↓Ee]"q↓απg≠=αWvK[↔K≡KSeβ}1α↔∪NsWK>AαO∂F{?1β}1απK&K≠'∂N04*NsS↔3fK∨↔;≡)1α↔G↓9αC⊗{≥9α⊗+C?K"α;=9β→I1↓I]a8hP4*"¬↓5]MkI1α9u→9αO⊗K∪πK∞q1αεLi5IE:aαNRq6∞Mk9M5MK	1αε#9]AY↓1↓∃∃≠↔πK≡@4*O'∪πS↔>K↔Mβ6{IβSF)αSπ≡Yβ?→∧{K∨πvK
α∂F+7'∂∞aαOgw##↔OO→∃E1∧W∨W∨!↓Ee;→84(hR"BAk9M5Eαaα∃:BqαO#␈∪S3'63∃1α~r≥9α∂C3';*aα	::qαW≡Cπ;πraαQ:~qα7↔⊗K∨π9`h+π;"αM:9rα∂?#.q1↓∃∀9απ↔#'≠'≡Kπ1αNsS↔3fK∨↔;≡)αCK};Kπ5π#=απ'3'O∃¬β#gON≠'π;_h*K↔>K∪'v9απ;&K7'∂⊗{'πbαS#↔⊗Ce∃
aα∂?oβWS↔↔→βπ;"α'?n+∪'∂∞aαK↔≡+πK∂Ba↓Y0hQUQQb↓Ee]~p4(4TBBA5;→5EEbα3πK↔Iα7π≡K;S↔∩aα9:~qαOKN##πK∞q1α)rα3↔∪/∪↔K:βπ;⊃∧!:!9¬≠7'SBaαε&jiIEY`h*NRq6∞Mk9M5MCI1αε#9EIeJa↓∃J∂βC3'≡S'?w→β?→∧KS'6K∂'πbα';S.c3'∨.s∂∃β6{Iα∂F+7'∂∞`4*'v3↔K↔v≠∃αbLI9↓α/C#πW∨#'[∃∧;↔;↔⊗S'?rβ?→α∨K∂3'~βπ;⊃∧∂g∂fK
α'≡{7↔K~)E1βNp4*+␈+K;πbβ?→β&C∃απn+K'∂∞qα∂#.k'∂πbαO?∂N+Se1βIY1↓;9AI1β	e]Qph(4*EαA5]"iE1α*r!9α≡C?KSfK≠≠∃bαM:≥rαπc3Ns∃1α∩r≥9α↔+∂#πv9βπv!αM:rqα∂?F+91↓+∩∪↔ON;84*≡{;O'&+KπSN{;Mβ6{I⬬βK?∨⊗5βSzαCK?6K∪∃α≡{;OWg#πS'}sMβ'rα∂3'vK∂π1¬##↔K∂β↔WSN≠M∃E`h+'9¬βK?∂.+∪';?→β?→¬≠π9α&K↔∨=∧∪'?7.#'∂πbαOg7ε{O'Wjaα≠↔↔∪WπKJ↓Ee]"p4(4TBBA5;!5I1∧+∪←π⊗!α!9¬≠#?K&c'≠≠*aαε&jiIUEbαNRεrj∞M5;!5QY*aαε⊃l	AAEβ→]M1α)J6f≤J9h4T	αKWf)6π≡+⊃α∂}kCWS/⊃αCK};Kπ5ε3?Iα∞#['ONs≥αCGKO'∂N;Mα⊗+∨πK&K;≥α∞sS'7N≠K?N04*&C↔KππIαO↔f+∂S'}q∃E1¬β!:⊃rαS#↔≡KMβ'rα7↔∪N≠π1αNs≠?KnS'?rαO∂'.s∂↔Mbα?∂S}∪↔H4S	e]Qr↓απ3≡yβ'9∧≠?7C/#↔I6⊗O↔⊃∧k↔∪'≡1α∂}sOW3&S'?w→iα6L~&91∧s↔]αN{K-j∞k↔K'≡84*.cO↔[N+I1↓I]Y8hP4*"¬↓5]Qk→1α	t99α.≠#π;∞q1↓∃∃≠∂'↔w#'≠'~αS#↔␈∪eα≠␈∪7πSN{9βJα∂?7π+S↔I+	1β'ph*Q:~qαO'n{9↓#.!9%1∧≠?7C/#↔Iα∞K∪↔⊃∧c↔πKvK;≥απ∪?∂↔∨≠↔M1∧sπS=∧∪[πv≠↔⊃α∨#W∪dhR';O&KSWS/→αO↔⊗K↔M1¬≠↔K'/→α∃i∧CC3N+⊃αO≡K↔;∂*a↓EQb↓UEUbα3↔g&+9j;}{K∪#}3→1↓I]Y8hRπ3OzβπCC.K↔⊃εK9α:
qα≠↔N;↔;∂+51↓+∩∂?7π+S↔I∧CC3N≠πS'}sMiαNsSK?'+∂S?↔IαK↔nK/M+	04+NqαCK}≠↔↔∪Ns∨Mβ}1α≠↔&+KπSN{9β?2απ7↔⊗K∂π9¬≠?∂'/#'Mβ6{Iα↔Gβ↔K'n+;Sπbα'?f{∨e0hQMM1β⊃MMEb↓Ee]"p4(4PP-74-5, L.M. Masinter, N.S. Sridharan, R.E. Carhart and D.H. Smith,
%2Applications of Artificial Intelligence for Chemical Inference XIII.
Labeling of Objects Having Symmetry1,2%1, Journal of the American Chemical
Society, 96, 7714, 1974.

HPP-74-6, Dennis H. Smith, Larry M. Masinter and Natesa S. Sridharan, %2Heuristic
DENDRAL: Analysis of Molecular Structure%1, in W.T. Wipke, S. Heler,
R. Feldmann and E. Hyde (eds.), Computer Representation and Manipulation of
Chemical Information, New York:Wiley, 1974.

HPP-74-7, Harold Brown, STAN-CS-74-469, %2Molecular Structure Elucidation III%1,
SIAM Journal of Applied Math, 32, 3, May 1977, p.534.

HPP-75-1, E.H. Shortliffe and B.G. Buchanan, %2A Model of Inexact Reasoning in
Medicine%1, Mathematical Biosciences, 23, 351, 1975.

HPP-75-2, E.H. Shortliffe, R. Davis, S.G. Axline, B.G. Buchanan, C.C. Green
and S.N. Cohen, %2Computer-Based Consultations in Clinial Therapeutics; Explanation
and Rule Acquisition Capabilities of the MYCIN System%1, Computers and
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 and W.J. Van Melle, %2MYCIN: A Computer
Program Providing Antimicrobial Therapy Recommendations%1, Clinical Medicine,
August 1975.

HPP-75-4, E.H. Shortliffe, %2Judgmental Knowledge as a Basis for Computer-Assisted
Clinical Decision Making%1, in Proceedings of the 1975 International Conference
on Cybernetics and Society, September 1975.

HPP-75-5, E.H. Shortliffe, S. Axline, B.G. Buchanan, R. Davis and S. Cohen,
%2A Computer-Based Approach to the Promotion of Rational Clinical Use of
Antimicrobials%1, in William A. Gouveia, Gianni Tognoni, and Eppo van der
Kleijn (eds.), Clinical Pharmacy and Clinical Pharmacology, 
New York:Elsevier/North-Holland Publishing Company, 1976.

HPP-75-6, Randall Davis, Bruce Buchanan and Edward Shortliffe, AIM-266,
STAN-CS-75-519, AD-A019 641, %2Production Rules as a Representation of a
Knowledge-Based Consultation Program%1, in Artificial Intelligence, 8, 1,
February 1977.

HPP-75-7, Randall Davis and Jonathan King, AIM-271, STAN-CS-75-524,
AD-A019 702/OWC, %2An Overview of Production Systems%1, in E.W. Elcock and
Donald Michie (eds.), Machine Intelligence 8; Machine Representations of
Knowledge, Chichester, England:Ellis Horwood Ltd., 1977.

HPP-75-8, R.G. Dromey, B.G. Buchanan, J. Lederberg and C. Djerassi and D. H. Smith,
%2Applications of Artificial Intelligence for Chemical Inference XIV.
A General Method for Predicting Molecular Ions in Mass Spectra%1, Journal
of Organic Chemistry, 40, 770, 1975.

HPP-75-9, D.H. Smith, %2Applications of Artificial Intelligence for Chemical
Inference XV.  Constructive Graph Labelling Applied to Chemical Problems.
Chlorinated Hydrocarbons%1, Analytical Chemistry, 47, 1176, 1975.

HPP-75-10, R.E. Carhart, D.H. Smith, H. Brown and N.S. Sridharan, %2Applications
of Artificial Intelligence for Chemical Inference XVI.  Computer Generation of
Vertex Graphs and Ring Systems%1, Journal of Chemical Information and Computer
Science, 15, 124, 1975.

HPP-75-11, R.E. Carhart, D.H. Smith, H. Brown and C. Djerassi, %2Applications of
Artificial Intelligence for Chemical Inference XVII.  An Approach to 
Computer-Assisted Elucidation of Molecular Structure%1, Journal of the American
Chemical Society, 97, 5755, 1975.

HPP-75-12, E.H. Shortliffe, S.G. Axline, B.G. Buchanan, R. Davis and S.N. Cohen,
%2Computer-Assisted Consultations Regarding the Antimicrobial Treatment of
Bacteremia%1, Journal @@ , May 1975.

HPP-75-13, B.G. Buchanan, %2Applications of Artificial Intelligence to
Scientific Reasoning%1, 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,
and J. Lederberg, %2Networking and a Collaborative Research Community: A Case
Study Using the DENDRAL Programs%1, in P. Lykos (ed.), Computer Networking and
Chemistry, Washington, D.C.:American Chemistry Society, 1975.

HPP-75-15, D.H. Smith, %2Applications of Artificial Intelligence for Chemical
Inference XVIII.  The Scope of Structural Isomerism%1, Journal of Chemical
Information and Computer Sciences, 15, 203, 1975.

HPP-75-16, E.H. Shortliffe and R. Davis, %2Some Considerations for the Implementation
of Knowledge-Based Expert Systems%1, SIGART Newsletter, 55, 9, December 1975.

HPP-76-1, D.H. Smith, J.P. Konopelski and C. Djerassi, %2Applications of
Artificial Intelligence for Chemical Inference XIX.  Computer Generation of Ion
Structures%1, Organic Mass Spectrometry, 11, 86, 1976.

HPP-76-2, Raymond E. Carhart and Dennis H. Smith, %2Applications of Artificial
Intelligence for Chemical Inference XX.  Intelligent Use of Constraints in
Computer-Assisted Structure Elucidation%1, Computers in Chemistry, 1,79, 1976.

HPP-76-3, C.J. Cheer, D.H. Smith, C. Djerassi, B. Tursch, J.C. Braekman and
D. Daloze, %2Applications 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%1, Tetrahedron, 32, 1807, 1976.

HPP-76-4, B.G. Buchanan, D.H. Smith, W.C. White, R.J. Gritter, E.A. Feigenbaum,
J. Lederberg and Carl Djerassi, %2Applications of Artificial Intelligence for
Chemical Inference XXII.  Automatic Rule Formation in Mass Spectrometry by
Means of the Meta-DENDRAL Program%1, Journal of the American Chemical Society,
98,6168, 1976.

HPP-76-5, T.H. Varkony, R.E. Carhart and D.H. Smith, %2Applications of Artificial
Intelligence for Chemical Inference XXIII.  Computer-Assisted Structure
Elucidation.  Modelling Chemical Reaction Sequences Used in Molecular
Structure Programs%1, in W.T. Wipke (ed.), Computer-Assisted Organic Synthesis,
Washington, D.C.:American Chemical Society, 1977.

HPP-76-6, D.H. Smith and R.E. Carhart, %2Applications of Artificial Intelligence
for Chemical Inference XXIV.  Structural Isomerism of Mono and Sesquiterpenoid
Skeletons 1,2-,%1, Tetrahedron, 32, 2513, May 1976.

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

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

HPP-76-9, Bruce G. Buchanan, Joshua Lederberg and John McCarthy, AIM-291,
STAN-CS-76-577, %2Three Reviews of J. Weizenbaum's Computer Power and Human
Reason%1, November 1976.

HPP-76-10, Bruce G. Buchanan and Dennis Smith, %2Computer Assisted Chemical
Reasoning%1, in E.V. Ludena, N.H. Sabelli and A.C. Wahl (eds.), Computers in
Chemical Education and Research, New York:Plenum Press, 1977, p.401.

HPP-76-11, Raymond E. Carhart, %2A Model-Based Approach to the Teletype Printing
of Chemical Structures%1, Journal of Chemical Information and Computer Sciences,
16, 82, 1976.

HPP-77-1, A.C. Scott, W. Clancey, R. Davis and E.H. Shortliffe, STAN-CS-77-593,
%2Explanation Capabilities of Knowledge-Based Production Systems%1, American
Journal of Computational Linguistics, Microfiche 62, Knowledge-Based
Consultation Systems, 1977.

HPP-77-2, Robert S. Engelmore and H. Penny Nii, STAN-CS-77-589,
%2A Knowledge-Based System for the Interpretation of Protein X-Ray
Crystallographic Data%1 (working paper), January 1977.

HPP-77-3, B.G. Buchanan, R. Davis, V. Yu and S. Cohen, %2Rule Based Medical Decision
Making by Computer%1, Proceedings of MEDINFO.77, Tronto, 1977.

HPP-77-4, T.M. Mitchell and G.M. Schwenzer, %2Applications of Artificial
Intelligence for Chemical Inference XXV.  A Computer Program for Automated
Empirical 13C NMR Rule Formation%1, Organic Magnetic Resonance, forthcoming.

HPP-77-5, Mark Stefik and Nancy Martin, STAN-CS-77-596,
%2A Review of Knowledge-Based Systems as a Basis for a Genetics Experiment
Designing System%1 (working paper), February 1977.

HPP-77-6, Bruce G. Buchanan and Tom Mitchell, STAN-CS-77-597, %2Model-Directed
Learning of Production Rules%1, in D.A. Waterman and F. Hayes-Roth (eds.),
Pattern-Directed Inference Systems, New York:Academic Press.

HPP-77-7, H. Penny Nii and Edward A. Feigenbaum, STAN-CS-77-612,
%2Rule-Based Understanding of Signals%1, Proceedings of Pattern-Directed
Inference Systems, May 1977.

HPP-77-8, R. Davis, %2Knowledge Acquisition on Rule-Based Systems:  Knowledge
about Representations as a Basis for System Construction and Maintenance%1,
Proceedings of Pattern-Directed Inference, May 1977.

HPP-77-9, R. Davis, %2Interactive Transfer of Expertise I:  Acquisition of
New Inference Rules%1, Proceedings of Fifth IJCAI, 1, 321, August 1977.

HPP-77-10, R. Davis, %2A Decision Support System for Medical Diagnosis and
Therapy Selection in Data Base%1, SIGBDP Newsletter, 8, 58, Winter, 1977.

HPP-77-11, Dennis H. Smith and Raymond E. Carhart, %2Structure Elucidation
Based on Computer Analysis of High and Low Resolution Mass Spectral Data%1,
in M.L. Gross (ed.), in Symposium on Chemical Applications
of High Performance Spectrometry, Washington, D.C.:American Chemical
Society, 1978.

HPP-77-12, Reid G. Smith, %2The Contract Net:  A Formalism for the Control of
Distributed Problem Solving%1, Proceedings of the Fifth IJCAI, 1, 472,
August 1977.

HPP-77-13, Tom M. Mitchell, %2Version Spaces: A Candidate Elimination Approach
to Rule Learning%1, Proceedings of the Fifth IJCAI, 1, 305, August 1977.

HPP-77-14, Reid G. Smith, Tom M. Mitchell, Richard A. Chestek and Bruce G.
Buchanan, %2A Model for Learning Systems%1, Proceedings of the Fifth IJCAI,
1, 338, August 1977.

HPP-77-15, E.A. Feigenbaum, R.S. Engelmore and C.K. Johnson, %2A Correlation
Between Crystallographic Computing and Artificial Intelligence%1, in Acta
Crystallographica, A33, 13, 1977.

HPP-77-16, Randall Davis and Bruce G. Buchanan, %2Meta-Level Knowledge:  Overview
and Applications%1, Proceedings of the Fifth IJCAI, 1, 920, August 1977.

HPP-77-17, Bruce G. Buchanan, %2Heuristic DENDRAL:  A Short
Summary%1 (working paper), (class notes for CS 224, Spring 1977).

HPP-77-18, Jerry Feitelson and Mark Stefik, %2A Case Study of
the Reasoning in a Genetics Experiment%1 (working paper), April 1977.

HPP-77-19, N. Martin, P. Friedland, J. King and M.J. Stefik, %2Knowledge Base
Management for Experiment Planning in Molecular Genetics%1, Proceedings of the 
Fifth IJCAI, 1, 882, August 1977.

HPP-77-20, Gretchen M. Schwenzer and Tom M. Mitchell, %2Computer Assisted
Structure Elucidation Using Automatically Acquired 13C NMR Rules%1, in
D. Smith (ed.), Computer Assisted Structure Elucidation, ACS Symposium
Series, Vol. 54:58, 1977.

HPP-77-21, Hector Garcia-Molina and Gio Wiederhold, %2Application
of the Contract Net Protocol to Distributed Data Bases%1
(working paper), April 1977.

HPP-77-22, Gretchen M. Schwenzer, %2Applications of Artificial Intelligence for
Chemical Inference XXVI.  Analysis of C-13 NMR for Mono-Hydroxy Steroids
Incorporating Geometric Distortions%1, Journal of Organic Chemistry, 
Vol. 43, 1079, 1978.

HPP-77-23, James G. Nourse, %2Gereralized Stereoisomerization Modes%1, Journal
of the American Chemical Society, 99, 2063, 1977.

HPP-77-24, Kent Morrill, Dennis H. Smith and Carl Djerassi, %2Computer-Assisted
Analysis of the High Resolution Mass Spectra of Macrolide Antibiotics%1,
submitted for publication.

HPP-77-25, Edward A. Feigenbaum, %2The Art of Artificial Intelligence: 1.  Themes
and Case Studies of Knowledge Engineering%1, Proceedings of the Fifth IJCAI,
1, 1014, August 1977.

HPP-77-26, Thomas H. Varkony, Raymond E. Carhart and Dennis H. Smith, %2Computer
Assisted Structure Elucidation, Ranking the Candidate Structures, Based on
Comparison Between Predicted and Observed Mass Spectra%1, in Proceedings of
the 25th Annual Conference on Mass Spectrometry and Allied Topics, Washington,
D.C., 1977.

HPP-77-27, Hector Garcia-Molina, %2Overview and Bibliography of Distributed
Data Bases%1, 1977.

HPP-77-28, Nils J. Nilsson, STAN-CS-77-618, %2A Production System for Automatic
Deduction%1, Machine Intelligence 9, 1977.

HPP-77-29, Edward H. Shortliffe, %2A Rule-Based Approch to the Generation of
Advice and Explanation in Clinical Medicine%1, August 1977.

HPP-77-30, Edward H. Shortliffe, %2Clinical Decisions Based on Physician-Computer
Interactions:  A Symbolic Reasoning Approach%1, presented at the Symposium on
Making and Using Medical Decisions, Annual Meeting Society for Computer Medicine,
November, 1977.

HPP-77-31, Kjell G. Knutsen, %2Some Issues in the Design of
Large Multi-Microprocessor Networks%1 (working paper), 1977.

HPP-77-32, Edward H. Shortliffe, %2MYCIN:  A Knowledge-Based Computer Program
Applied to Infectious Diseases%1, presented at the First Annual Symposium on
Computer Application in Medical Care, Washington, D.C., October 1977.

HPP-77-33, Randal Davis, %2Generalized Procedure Calling and Content-Directed
Invocation%1, in the Proceedings of Artificial Intelligence and Programming
Languages Conference, Published as SIGART/SIGPLAN Combined Issue, August 1977,
pp. 45-54.

HPP-77-34, Thomas Varkony, Dennis Smith and Carl Djerassi, %2Computer-Assisted
Structure Manipulation:  Studies in the Biosynthesis of Natural Products%1,
Tetrahedron, forthcoming.

HPP-77-35, R.G. Dromey, Mark J. Stefik, Thomas C. Rindfleisch and Alan M. Duffield,
%2Extraction of Mass Spectra Free of Background and Neighboring Component
Contributions from Gas Chromatography/Mass Spectrometry Data%1, Analytical
Chemistry, 48, 1368, 1976.

HPP-77-36, Bruce G. Buchanan, %2Issues of Representation in Conveying the
Scope and Limitations of Intelligent Assistant Programs%1 (working paper), 1977.

HPP-77-37, Avron Barr, %2Meta-Knowldge and Memory%1 (working paper), November

HPP-77-38, Annemarie Wegmann, %2Variations in Mass Spectral Fragmentation
Produced by Active Sites in a Mass Spectrometer Source%1, (submitted to
Analytical Chemistry), 1977.

HPP-77-39, Bruce G. Buchanan, Tom M. Mitchell, Reid G. Smith and C. Richard
Johnson, Jr., %2Models of Learning Systems%1,
STAN-CS-78-692, in Truelsen (ed.), Encyclopedia
of Computer Science, New York, 1978.

HPP-78-1, Bruce G. Buchanan and Edward A. Feigenbaum, %2DENDRAL and Meta-DENDRAL:
Their Applications Dimension%1, STAN-CS-77-649, Stanford University, 1978.

HPP-78-2, Reid G. Smith, %2Issues in Distributed Sensor Net Design%1 (working
paper), January 1978.

HPP-78-3, Mark Stefik, %2Inferring DNA Structures from Segmentation Data:  A
Case Study%1, (submitted to Artificial Intelligence).

HPP-78-4, Hector Garcia-Molina, %2Distributed Database Coupling%1 (working
paper), March 1978.

HPP-78-5, never used.

HPP-78-6, Hector Garcia-Molina, %2Performance Comparison of Update Algorithms
for Distributed Data Bases%1 (working paper), 1978.

HPP-78-7, Reid G. Smith and Randal Davis, STAN-CS-78-667,
%2Distributed Problem Solving:  The Contract Net Approach%1, June 1978.

HPP-78-8, James G. Nourse, %2The Configuration Symmetry Group and its
Application to Stereoisomer Generation, Specification and Enumeration%1, 1978.

HPP-78-9, J. Nourse, R. Carhart, D. H. Smith and C. Djerassi,
%2Exhaustive Generation of Stereoisomers for Structure Elucidation%1, 1978.

HPP-78-10, Alain Bonnet, STAN-CS-78-668, 
%2BAOBAB, A Parser for a Rule-Based System Using a Semantic Grammar%1,
June 1978.

HPP-78-11, R. Carhart, %2Erroneous Claims Concerning Perception of Topological
Symmetry%1, Journal of Chemical Infformation and Computer Science, 18, 1978.

HPP-78-12, Allan Terry and R. Engelmore, %2Design and Evaluation of First
Crysalis System%1 (working paper), July 1978.