perm filename THESIS.PUB[BIB,CSR]5 blob sn#539100
filedate 1980-10-02 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00006 PAGES
C REC PAGE DESCRIPTION
C00002 00002 .require "setup.csr[bib,csr]" source file
C00003 00003 .once center
C00014 00004 GOLDMAN, N.M.,
C00025 00005 NEWEY, M.C.,
C00035 00006 SMITH, Reid Garfield,
.require "setup.csr[bib,csr]" source file;
%3Stanford Computer Science Theses%1
AIKINS, Janice S.,
%2Prototypes and Production Rules: A Knowledge Representation for
Computer Consultations%1, 204 pages, August 1980.
STAN-CS-68-117 (PB182151), %2A Computational Model
with Data Flow Sequencing%1, 130 pages, December 1968.
STAN-CS-72-305 (AIM-173, AD755139),
%2Representation and Description of Curved Objects%1, 125 pages, August
%2Efficient Algorithms for certain Satisfiability and Linear Programming
Problems%1, ? pages, September 1980.
STAN-CS-72-321 (AIM-180, AD759712), %2Computer
Identification of Textured Visual Scenes%1, 156 pages, October 1972.
BANNING, John Phineas,
STAN-CS-78-676 (SLACR-213), %2A Method for
Determining the Side Effects of Procedure Calls%1, 283 pages, November
STAN-CS-77-641 (AIM-308, AD-A053 184), %2Automatic
Construction of Algorithms%1, 220 pages, December 1977.
BAUER, Henry R., III,
STAN-CS-72-324 (CSL-TR-48, PB214612),
%2Subproblems of the m %4x%2 n Sequencing Problem%1, 115 pages, November
STAN-CS-74-463 (AIM-249, AD-A002 261),
%2Geometric Modeling for Computer Vision%1, 141 pages, November 1974.
BOLLES, Robert C.,
STAN-CS-77-591 (AIM-295), %2Verification
Vision Within a Programmable Assembly System%1, 245 pages, February
STAN-CS-79-746, %2ThingLab -- A Constraint- Oriented
Simulation Laboratory%1, 109 pages, July 1979.
STAN-CS-71-198 (AD726170), %2Algorithms for Finding
Zeros and Extrema of Functions without Calculating Derivatives%1, 250
pages, February 1971.
STAN-CS-80-804 (AIM-336), %2Determining Correctness by Testing%1,
135 pages, May 1980.
BROTZ, Douglas K.,
STAN-CS-74-443 (PB-236 471/AS), %2Embedding
Heuristic Problem Solving Methods in a Mechanical Theorem Prover%1,
107 pages, July 1974.
BROWN, Mark R.,
STAN-CS-77-600 (AD-A040 538), %2The Analysis of a
Practical and Nearly Optimal Priority Queue%1, 102 pages, April 1977.
BUBE, Kenneth P.,
STAN-CS-78-691 (AD-A066 058), %2The Construction
of Initial Data for Hyperbolic Systems from Nonstandard Data%1, 119 pages,
STAN-CS-74-458 (AIM-245, AD784816), %2A Study in
Automatic Programming%1, 146 pages, October 1974.
STAN-CS-79-743 (AIM-328), %2GOAL: A Goal
Oriented Command Language for Interactive Proof Construction%1, 175 pages,
STAN-CS-72-266 (AIM-163, not at NTIS),
%2Recursive Definitions of Partial and Functions and Their
Computation%1, 160 pages, March 1972.
CARTWRIGHT, Robert, Jr.,
STAN-CS-77-592 (AIM-296), %2A
Practical Formal Semantic Definition and Verification Systems for
Typed LISP%1, 158 pages, Fegruary 1977.
STAN-CS-64-10 (AD603163), %2On Closest Normal
Matrices%1, 131 pages, June 1964.
CHAN, Tony F.C.,
STAN-CS-78-672, %2Comparison of Numerical Methods
for Initial Value Problems%1, 195 pages, June 1978.
CHANDRA, Ashok K.,
STAN-CS-73-336 (AIM-188, AD758646), %2On
the Properties and Applications of Program Schemas%1, 225 pages,
CLANCEY, William John,
STAN-CS-79-769 (AD-A083 432), %2Transfer of Rule- Based
Expertise Through a Tutorial Dialogue%1, 462 pages, September 1979.
COUGHRAN, William M., Jr.,
%2On the Approximate Solution of Hyperbolic Initial-Boundary Value Problems%1,
177 pages, June 1980.
CRANE, Clark A.,
STAN-CS-72-259 (PB208595), %2Linear Lists and
Priority Queues as Balanced Binary Trees%1, 131 pages, February 1972.
STAN-CS-76-564 (AIM-283, HPP-76-7), %2Applications of
Meta Level Knowledge to the Construction, Maintenance and Use of
Large Knowledge Bases%1, 304 pages, July 1976.
DRYSDALE, Robert Lewis (Scot), III,
Voronoi Diagrams and Geometric Searching%1, 196 pages, January 1979.
EL-MASRI, Ramez Aziz,
STAN-CS-80-801, %2On the Design, Use, and
Integration of Data Models%1, 228 pages, May 1980.
STAN-CS-70-180 (AIM-132, AD715665), %2Computer
Interpretation of Imperfect Line Data as a Three-Dimensional Scene%1,
187 pages, October 1970.
STAN-CS-72-329 (PB218875), %2Folds, A Declarative
Formal Language Definition System%1, 290 pages, December 1972.
STAN-CS-77-633 (AIM-305, AD-A048 660),
%2Motivation and Intensionality in a Computer Simulation Model%1, 104 pages,
FILMAN, Robert Elliot,
STAN-CS-79-727 (AIM-327), %2The Interaction
of Observation and Inference%1, 235 pages, March 1979.
STAN-CS-76-567 (AIM-284), %2Constructing and
Debugging Manipulator Programs%1, 171 pages pages, August 1976.
FREDMAN, Michael L.,
STAN-CS-72-296 (AD748606), %2Growth
Properties of a Class of Recursively Defined Functions%1, 84 pages,
FRIEDLAND, Peter E.,
STAN-CS-79-771 (HPP-79-29), %2Knowldge-Based
Experiment Design in Molecular Genetics%1, 137 pages, August 1979.
STAN-CS-75-525 (AIM-272), %2Reconstruction of
Secnes Containing Polyhedra from Stereo Pair of Views%1, 204 pages,
STAN-CS-79-744 (CSL-TR-172, AD-A075 268),
%2Performance of Update Algorithms for Replicated Data in a Distributed
Database%1, 320 pages, June 1979.
GENNERY, Donald B.
%2Modelling the Environment of an Exploring Vehicle by Means of Stereo Vision%1,
151 pages, June 1980.
STAN-CS-71-208 (AD726171), %2Computer
Implementation of the Finite Element Method%1, 220 pages, March 1971.
STAN-CS-71-227 (SLAC-134), %2GEMS - A Graphical
Experimental Meta System%1, 184 pages, July 1971.
GIEGER, Charles, III,
STAN-CS-74-419 (AIM-233, AD-A000 086),
%2Conceptual Memory: A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances%1, 393 pages, May 1974.
STAN-CS-78-671 (AIM-316), %2Natural Language
Processing in an Automatic Programming Domain%1, 172 pages, June 1978.
STAN-CS-74-413 (AIM-231, AD-A001 814), %2 Shape
Grammars and Their Uses%1, 243 pages, March 1974.
GOAD, Christopher Alan
%2Computational Uses of the Manipulation of Formal Proofs%1,
130 pages, August 1980.
STAN-CS-74-461 (AIM-247, AD-A005 041),
%2Computer Generation of Natural Language from a Deep Conceptual
Base%1, 316 pages, October 1974.
STAN-CS-65-15 (AD611366), %2Computer Search for
Non-Isomorphic Convex Polyhedra%1, 137 pages, January 1965.
STAN-CS-71-223 (PB203429), %2Precedence
Languages and Bounded Right Context Languages%1, 192 pages, July 1971.
GRAPE, Gunnar Rutger,
STAN-CS-73-366 (AIM-201, AD763673),
%2Model Bases (Intermediate-Level) Computer Vision%1, 256 pages, May
STAN-CS-69-138 (AIM-96, AD696394), %2The
Application of Theorem Proving to Question-Answering Systems%1, 162
pages, June 1969.
STAN-CS-76-556, %2The Analysis of Hashing
Algorithms%1, 136 pages, August 1976.
HANNA, Marsha Jo,
STAN-CS-74-438 (AIM-239, AD786720),
%2Computer Matching of Areas in Stereo Images%1, 99 pages, July 1974.
HEMPHILL, Linda G.,
STAN-CS-76-534 (AIM-273), %2A Conceptual
Approach to Automatic Language Understanding and Belief Structures:
With Disambiguation of the Word `For' %1, 254 pages, January 1976.
STAN-CS-70-161 (SLACR-117, not at NTIS), %2The
Formulary Model for Access Control and Privacy in Computer Systems%1,
81 pages, May 1970.
STAN-CS-69-139 (AIM-98, AD695401), %2A Study
of Grammatical Inference%1, 166 pages, August 1969.
STAN-CS-68-106 (AIM-65, AD673971), %2A Program
to Play Chess End Games%1, 168 pages, August 1968.
STAN-CS-69-143 (AD694464), %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-79-755 (AIM-331), %2Efficiency Considerations
in Program Synthesis: A Knowledge-Based Approach%1, 160 pages, July 1979.
STAN-CS-68-101 (AIM-60, AD672923), %2The Formal
Theoretic Analysis of Stront Equivalence for Elemental Programs%1, 263
pages, June 1968.
KARP, Richard Alan,
STAN-CS-79-783 (PVG-14), %2Proving Concurrent
Systems Correct%1, 151 pages, November 1979.
STAN-CS-72-276 (AD745022), %2A Generalized LR
Method to Solve Ax = Bx%1, 70 pages, April 1972.
KAUFMAN, Linda C.,
STAN-CS-73-363 (Serra, PB222099), %2The LZ
Algorithm to Solve the Generalized Eigenvalue Problem%1, 101 pages,
STAN-CS-70-168 (AIM-130, AD713252), %2Visual
Identification of People by Computer%1, 138 pages, July 1970.
STAN-CS-75-491, %2Deletion in Binary Storage
Trees%1, 93 pages, May 1975.
KOGGE, Peter M.,
STAN-CS-72-314 (CSL-TR-43, PB212893),
%2Parallel Algorithms for the Efficient Solution of Recurrence
Problems%1 (Part I), 74 pages, September 1972.
KOGGE, Peter M.,
STAN-CS-72-315 (CSL-TR-44, PB212894),
%2The Numerical Stability of Parallel Algorithms for Solving
Recurrence Problems%1 (Part II), 49 pages, September 1972.
KOGGE, Peter M.,
STAN-CS-72-316 (CSL-TR-45, PB212828),
%2Minimal Paralellism in the Solution of Recurrence Problems%1 (Part III),
45 pages, September 1972.
STAN-CS-74-427 (CSL-TN-36, PB232624/AS),
%2Performing the Perfect Schuffle in an Array Computer%1 (excerpt), 18 pages, May
STAN-CS-74-428 (CSL-TR-76, PB232633/AS),
%2Interconnections Between Precessors and Memory Modules Using the
Schuffle-Exchange Network%1 (excerpt), 32 pages, May 1974.
STAN-CS-76-570 (AIM-286), %2AM: An Artificial
Intelligence Approach to Discovery in Mathematics as Heuristic
Search%1, 350 pages, July 1976.
STAN-CS-79-745 (AD-A076 264), %2Upper and Lower
Bounds on Time-Space Tradeoffs in a Pebble Game%1, 82 pages, July 1979.
STAN-CS-72-309 (CSL-TR-157, not at NTIS),
%2Dynamic Control Structures and Their Use in Emulation%1, 251 pages,
LEVINE, David R.,
STAN-CS-73-343 (not at NTIS), %2Computer-Based
Analytic Grading for German Grammar Instruction%1, 220 pages,
LEWIS, John Gregg,
STAN-CS-77-595, %2Algorithms for Sparse
Matrix Eigenvalue Problems%1, 212 pages, April 1977.
STAN-CS-74-452 (AIM-242, AD-A000 500), %2Automatic
Coding: Choice of Data Structures%1, 110 pages, September 1974.
LUK, Franklin Tai-cheung,
STAN-CS-78-685 (AD-A065 285), %2Sparse
and Parallel Matrix Computations%1, 168 pages, December 1978.
STAN-CS-72-293 (CSL-TN-32, PB212234),
%2Combinatorial Solutions to Partitioning Problems%1, 130 pages, June
MALCOLM, Michael A.,
%2Nonlinear Spline Functions%1 (Part II), 60 pages, June 1973.
MALCOLM, Michael A.,
STAN-CS-73-374 (AD764275), %2A
Machine-Independent ALGOL Procedure for Accurate Floating-Point
Summation%1 (excerpt), 5 pages, June 1973.
McCUNE, Brian P.,
STAN-CS-79-772 (AIM-333), %2Building Program
Models Incrementally from Informal Descriptions%1, 146 pages, October 1979.
STAN-CS-66-48 (SS639-166), %2An Approach to
Computer Language Design%1, 124 pages, August 1966.
STAN-CS-71-222 (PB235417/AS), %2Linear
Representation of Tree Structure (a Mathematical Theory of
Parenthesis-Free Notations)%1, 245 pages, June 1971.
MITCHELL, Tom Michael,
STAN-CS-78-711, %2Version Spaces: An
Approach to Concept Learning%1, 216 pages, December 1978.
MODEL, Mitch L,
STAN-CS-79-701, %2Monitoring System Behavior in a
Complex Computational Environment%1, 189 pages, January 1979.
STAN-CS-65-22 (AD616676), %2Finite Difference
Methods for the Eigenbales of Laplace's Operator%1, 142 pages, May
STAN-CS-77-644, %2Hierarchical Properties of
Flows and the Determination of Inner Loops%1, 164 pages, December 1977.
MORAVEC, Hans Peter,
%2Obstacle Avoidance and Navigation in the Real World
by a Seeing Robot Rover%1, 174 pages, September 1980.
MORRIS, F. Lockwood,
STAN-CS-72-303 (AIM-174, PB212827),
%2Correctness of Translations of Programming Languages - an Algebraic
Approach%1, 125 pages, August 1972.
STAN-CS-74-464 (AIM-250, AD-A003 488),
%2Structured Descriptions of Complex Curved Objects for Recognition
and Visual Memory%1, 125 pages, November 1974.
STAN-CS-75-475 (AIM-257, AD-A005 413), %2Formal
Semantics of LISP with Applications to Program Correctness%1, 184
pages, January 1975.
OHWOVORIOLE, Jorgan S.,
%2An Extention of Screw Theory and its Application to the Automation of
Industrial Assemblies%1, 186 pages, April 1980.
O'LEARY, D. Prost,
STAN-CS-76-548, %2Hybrid Conjugate Gradient
Algorithms%1, 120 pages, March 1976.
ORCUTT, Samuel E.,
STAN-CS-74-429 (CSL-TR-70, PB232623/AS),
%2Efficient Data Routing Schemes for ILLIAC IV-Type
Computers%1 (excerpt), 31 pages, May 1974.
ORCUTT, Samuel E.,
STAN-CS-74-430 (CSL-TR-71, PB234513/AS),
%2A Novel Parallel Computer Architecture and Some
Applications%1 (excerpt), 44 pages, May 1974.
OVERTON, Michael Lockhart,
STAN-CS-79-752, %2Projected Lagrangian
Algorithms for Nonlinear Minimax and %Al%2↓1 Optimization%1, 164 pages, July
STAN-CS-72-311 (AIM-177, not at NTIS),
%2Modelling, Trajectory Calculation and Servoing of a Computer
Controlled Arm%1, September 1972.
STAN-CS-66-50 (AIM-46, PB176761), %2Some Sequence
Extrapulating Programs: A Study of Representation and Modelling in
Inquiring Systems%1, 176 pages, September 1966.
PETERSON, James L.,
STAN-CS-74-410 (CSL-TR-46, PB231926/AS),
%2Modelling of Parallel Systems%1, 241 pages, February 1974.
STAN-CS-68-116 (AIM-72, AD680036), %2The
Kinematics of Manipulators Under Computer Control%1, 157 pages,
STAN-CS-69-136 (SLACR-104, not at NTIS),
%2Bi-Directional and Heuristic Search in Path Problems%1, 157 pages, May
POLAK, Wolfgang Heinz,
STAN-CS-80-802 (PVG-17), %2Theory of Compiler
Specification and Verification%1, 288 pages, May 1980.
PRATT, Vaughan R.,
STAN-CS-72-260 (AD740110), %2Shellsort and
Sorting Networks%1, 59 pages, February 1972.
STAN-CS-71-219 (AIM-144, not at NTIS), %2Computer
Comparison of Pictures%1, 120 pages, May 1971.
STAN-CS-70-146 (not at NTIS), %2Roundoff Error
Analysis of the Fast Fourier Transform%1, February 1970.
RAMSHAW, Lyle Harold,
STAN-CS-79-741, %2Formalizing the Analysis of
Algorithms%1, 123 pages, June 1979.
STAN-CS-66-49 (AIM-43, SS640-836), %2An Approach
to Computer Speech Recognition by Direct Analysis of Speech Wave%1,
143 pages, September 1966.
REISER, John F.,
STAN-CS-77-601 (AD-A045 652), %2Analysis of
Additive Random Number Generators%1, 34 pages, April 1977.
STAN-CS-68-105 (AD673674), %2Epsiolon-Calculus%1,
138 pages, August 1968.
RIDDLE, William E.,
STAN-CS-72-271 (not at NTIS), %2The
Modeling and Analysis of Supervisory Systems%1, 174 pages, March 1972.
STAN-CS-74-437 (AIM-238, AD-A005 040),
%2Computational Understanding: Analysis of Sentences and Context%1,
245 pages, July 1974.
RIVEST, Ronald L.,
STAN-CS-74-415 (PB233065/AS), %2Analysis of
Associative Retrieval Algorithms%1, 109 pages, April 1974.
STAN-CS-76-571 (AIM-287), %2Discrete
Control of a Robot Arm%1, 98 pages, August 1976.
STAN-CS-65-23 (AD618214), %2Convex Polynomial
Approximation%1, 44 pages, June 1965.
STAN-CS-76-563, %2State Restoration Among
Communicating Processes%1, 173 pages, August 1976.
STAN-CS-71-245 (AIM-155, not at NTIS),
%2Heuristic Analysis of Large Trees as Generated in the Game of Go%1,
350 pages, November 1971.
STAN-CS-75-498 (AIM-259, AD-A017 025),
%2Automatically Proving the Correctness of Translations Involving
Optimized Code%1, 214 pages, August 1975.
SATTETHWAITEe, E.H., Jr.,
STAN-CS-75-494, %2Source Language
Debugging Tools%1, 345 pages, May 1975.
STAN-CS-69-130 (AIM-83, PB183907), %2A
Conceptual Dependency Representation for a Computer-Oriented
Semantics%1, 201 pages, March 1969.
SCHERLIS, William Louis,
%2Expression Procedures and Program Derivation%1,
178 pages, August 1980.
STAN-CS-74-424 (CSL-TR-80, PB232602/AS),
%2Logorithmic Communications Networks%1 (Chapter 1), 38 pages,
STAN-CS-74-425 (CSL-TR-81, PB232598/AS),
%2Vulnerability of deBruijn Communications
Networks%1 (Chapter 2), 68 pages, May 1974.
STAN-CS-74-426 (CSL-TR-82, PB232597),
%2Queueing Equal Length Messages in a Logorithmic
Network%1 (Chapter 3), 75 pages, May 1974.
STAN-CS-71-231 (AIM-149, AD732644), %2A Study of
the Real-Time Control of a Computer Driven Vehicle%1, 180 pages,
STAN-CS-75-492, %2Quicksort%1, 352 pages, May
STAN-CS-68-94 (SLACR-84), %2The Formal
Description and Parsing of Pictures%1, 205 pages, April 1968.
SHIMANO, Burce E.,
STAN-CS-78-660 (AIM-313), %2The Kinematic Design
and Force Control of Computer Controlled Manipulators%1, 135 pages, March
STAN-CS-74-465 (AIM-251, AD-A001 373),
%2MYCIN: A Rule-Based Computer Program for Advising Physicians
Regarding Antimicrobial Therapy Selection%1, 409 pages, November 1974.
SHUSTEK, Leonard J.,
STAN-CS-78-658 (SLAC-205), %2Analysis and
Performance of Computer Instruction Sets%1, 177 pages, March 1978.
STAN-CS-77-608, %2On Some Subrecursive
Reducibilities%1, 102 pages, June 1977.
SITES, Richard L.,
STAN-CS-74-418 (PB233045/AS), %2Proving
That Computer Programs Terminate Cleanly%1, 143 pages, May 1974.
STAN-CS-74-449 (CSL-TR-89, AD785027), %2Performance
Analysis of Computer Systems Components%1, 323 pages, September 1974.
STAN-CS-74-451 (CSL-TR-91, AD786999),
%2A Modified Working Set Paging Algorithm%1 (Chapter 5), 40 pages, October 1974.
STAN-CS-75-499 (AIM-260), %2PYGMALION: A
Creative Programming Environment%1, 193 pages, August 1975.
STAN-CS-69-131 (SLAC-96), %2The Use of Man-
Machine Interaction in Data-Fitting Problems%1, 287 pages, March 1969.
SMITH, Reid Garfield,
STAN-CS-78-700 (HPP-78-28, AD-A068 230), %2A
Framework for Problem Solving in a Distributed Processing Environment%1,
150 pages, December 1978.
STEFIK, Mark Jeffrey,
STAN-CS-80-784 (HPP-80-2), %2Planning with
Constraints%1, 230 pages, January 1980.
STOUTEMYER, David R.,
STAN-CS-72-283 (not at NTIS), %2Numerical
Implemtation of the Schwarz Alternating Procedure for Elliptic
Partial Differential Equations%1, 131 pages, May 1972.
STAN-CS-76-565 (AD-A032 802), %2Initial
Boundary Value Problems for Incompletely Parabolic Systems%1, 107
pages, November 1976.
STRITTER, Edwin P.,
STAN-CS-77-594 (SLAC-200), %2File
Migration%1, 112 pages, April 1977.
STAN-CS-76-552 (AIM-279), %2Automatic
Verification of Programs with Complex Data Structures%1, 194 pages,
SWEET, Richard E.,
STAN-CS-78-698, %2Empirical Estimates of Program
Entropy%1, 167 pages, November 1978.
SWINEHART, Daniel C.,
STAN-CS-74-412 (AIM-230, AD786721),
%2COPILOT: A Multiple Process Approach to Interactive Programming
Systems%1, March 1974.
STAN-CS-71-244 (AD738027), %2An Efficient
Planarity Algorithm%1, 154 pages, November 1971.
STAN-CS-76-560 (AIM-282), %2Synthesis of
Manipulator Control Programs from Task-level Specifications%1, 229
pages, July 1976.
STAN-CS-70-182 (AIM-134, AD748565),
%2Accomodation in Computer Vision%1, 452 pages, Septmeber 1970.
STAN-CS-67-58 (PB176766), %2Recursive Functions of
Regular Expressions in Language Analysis%1, 146 pages, March 1967.
TRABB PARDO, Louis,
STAN-CS-78-681 (AD-A065 283), %2Set
Representation and Set Intersection%1, 85 pages, December 1978.
STAN-CS-75-496 (SU326 P30-41), %2An Iterative
Block Lanczos Method for the Solution of Large Sparse Symmetric
Eigenproblems%1, 133 pages, May 1975.
STAN-CS-78-682 (AD-A065 265), %2Parsing Flowcharts
and Series-Parallel Graphs%1, 233 pages, December 1978.
VAN MELLE, William,
%2A Domain-Independent System That Aids in Constructiong Knowledge-Based
Consultation Programs%1, 192 pages, June 1980.
VAN WYK, Christopher John,
STAN-CS-80-803, %2A Language for
Typesetting Graphics%1, 59 pages, May 1980.
STAN-CS-67-66 (AD652921), %2The Computation of
Bounds for the Invariant Subspaces of a General Matrix Operator%1, 240
pages, May 1967.
STAN-CS-69-127 (AIM-85, AD687720), %2Aspects of
Speech Recognition by Computer%1, 210 pages, April 1969.
VITTER, Jeffrey Scott,
%2Analysis of Coalesced Hashing%1, 111 pages, August 1980.
VUILLEMIN, Jean Etienne,
STAN-CS-73-393 (AIM-218, AD772063/4WC),
%2Proof Techniques for Recursive Programs%1, 97 pages,
WAGNER, Todd Jeffery,
STAN-CS-77-632 (AIM-304, AD-A048 684),
%2Hardware Verification%1, 102 pages, October 1977.
STAN-CS-74-421 (CSL-TR-51, PB232356/AS), %2Low-Cost
Error Detection Techniques for Small Computers%1, 232 pages, May
STAN-CS-68-118 (AIM-74, AD681027), %2Machine
Learning of Heuristics%1, 235 pages, December 1968.
WILKINS, David E.,
STAN-CS-79-747 (AIM-329, AD-A076 872), %2Using
Patterns and Plans to Solve Problems and Control Search%1, 264 pages, June
STAN-CS-76-566, %2Numerical Methods for
Nonlinearly Constrained Optimization%1, 262 pages, November 1976.
STAN-CS-73-380 (AIM-209, AD767695/O WC),
%2Scene Analysis Using a Semantic Base for Region Growing%1, 120 pages,
STAN-CS-76-554, %2Modeling the Write Behavior of
Computer Programs%1, 185 pages, June 1976.
ZOLNOWSKY, John E.,
STAN-CS-78-659 (SLAC-206), %2Topics in
Computational Geometry%1, 63 pages, March 1978.