perm filename FICHE.ORD[BIB,CSR]1 blob
sn#542949 filedate 1980-11-12 generic text, type C, neo UTF8
COMMENT ā VALID 00006 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 MICROFICHE ORDER November 5, 1980
C00006 00003 MICROFICHE ORDER November 5, 1980
C00011 00004 MICROFICHE ORDER November 5, 1980
C00015 00005 MICROFICHE ORDER November 5, 1980
C00019 00006 MICROFICHE ORDER November 5, 1980
C00035 ENDMK
Cā;
MICROFICHE ORDER November 5, 1980
TO: Western Microfilm, Inc. FROM: Department of Computer Science
1 South Park Avenue Publications Office
San Francisco, CA 94107 Stanford University
Building 460, Room 206
Stanford, CA 94305
Collate the fiche if there are more than one of each document. Do NOT put in
glassine envelopes. Return the microfilm masters as well as the document
originals.
If you have any questions concerning this order, please call Connie Stanley at
(415) 497-4776.
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4MD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 119
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-801 ON THE DESIGN, USE, & INTEGRATION OF DATA MODELS (CARD x OF x)
BY R.A. EL-MASRI MAY 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 153
NUMBER COPIES REQUIRED: 400
HEADER COLOR: orange
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
PVG-17 THEORY OF COMPILER SPECIFICATION & VERIFICATION (CARD x OF x)
BY W.H. POLAK MAY 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4MD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 16
NUMBER COPIES REQUIRED: 400
HEADER COLOR: green
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
HPP-80-21 KNOWLEDGE ENGINEERING: THE APPLIED SIDE OF A.I.
BY E.A. FEIGENBAUM SEPTEMBER 1980
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
MICROFICHE ORDER November 5, 1980
TO: Western Microfilm, Inc. FROM: Department of Computer Science
1 South Park Avenue Publications Office
San Francisco, CA 94107 Stanford University
Building 460, Room 206
Stanford, CA 94305
Collate the fiche if there are more than one of each document. Do NOT put in
glassine envelopes. Return the microfilm masters as well as the document
originals.
If you have any questions concerning this order, please call Connie Stanley at
(415) 497-4776.
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4MD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 154
NUMBER COPIES REQUIRED: 400
HEADER COLOR: blue
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
AIM-339 MODELLING THE ENVIRONMENT OF AN EXPLORING VEHICLE (CARD x OF x)
BY MEANS OF STEREO VISION
BY D.B. GENNERY JUNE 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4MD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 108
NUMBER COPIES REQUIRED: 400
HEADER COLOR: green
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
HPP-80-17 PROTOTYPES & PRODUCTION RULES: A KNOWLEDGE (CARD x OF x)
REPRESENTATION FOR COMPUTER CONSULTATIONS
BY J.S. AIKINS AUGUST 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 13
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-816 AUTOMATING THE STUDY OF CLINICAL HYPOTHESES ON A TIME-ORIENTED
DATA BASE: THE RX PROJECT
BY R.L. BLUM, M.D. NOVEMBER 1979
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
MICROFICHE ORDER November 5, 1980
TO: Western Microfilm, Inc. FROM: Department of Computer Science
1 South Park Avenue Publications Office
San Francisco, CA 94107 Stanford University
Building 460, Room 206
Stanford, CA 94305
Collate the fiche if there are more than one of each document. Do NOT put in
glassine envelopes. Return the microfilm masters as well as the document
originals.
If you have any questions concerning this order, please call Connie Stanley at
(415) 497-4776.
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 59
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-817 ANALYSIS OF COALESCED HASHING (CARD x OF x)
BY J.S. VITTER AUGUST 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4MD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 90
NUMBER COPIES REQUIRED: 400
HEADER COLOR: blue
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
AIM-340 OBSTACLE AVOIDANCE & NAVIGATION IN THE REAL WORLD (CARD x OF x)
BY A SEEING ROBOT ROVER
BY H.P. MORAVEC SEPTEMBER 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 93
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-806 ON THE APPROXIMATE SOLUTION OF HYPERBOLIC INITIAL- (CARD x OF x)
BOUNDARY VALUE PROBLEMS
BY W.M. COUGHRAN, JR. JUNE 1980
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
MICROFICHE ORDER November 5, 1980
TO: Western Microfilm, Inc. FROM: Department of Computer Science
1 South Park Avenue Publications Office
San Francisco, CA 94107 Stanford University
Building 460, Room 206
Stanford, CA 94305
Collate the fiche if there are more than one of each document. Do NOT put in
glassine envelopes. Return the microfilm masters as well as the document
originals.
If you have any questions concerning this order, please call Connie Stanley at
(415) 497-4776.
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 40
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-807 PATH-REGULAR GRAPHS
BY D.W. MATULA & D. DOLEV JUNE 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 21
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-821 SEMIANTICHAINS & UNICHAIN COVERINGS IN DIRECT PRODUCTS OF PARTIAL
ORDERS
BY D.B. WEST & C.A. TOVEY SEPTEMBER 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 97
NUMBER COPIES REQUIRED: 400
HEADER COLOR: blue
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
AIM-341 EXPRESSION PROCEDURES & PROGRAM DERIVATION (CARD x OF x)
BY W.L. SCHERLIS AUGUST 1980
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
MICROFICHE ORDER November 5, 1980
TO: Western Microfilm, Inc. FROM: Department of Computer Science
1 South Park Avenue Publications Office
San Francisco, CA 94107 Stanford University
Building 460, Room 206
Stanford, CA 94305
Collate the fiche if there are more than one of each document. Do NOT put in
glassine envelopes. Return the microfilm masters as well as the document
originals.
If you have any questions concerning this order, please call Connie Stanley at
(415) 497-4776.
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4MD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 130
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-819 COMPUTATIONAL USES OF THE MANIPULATION OF FORMAL (CARD x OF x)
PROOFS
BY C.A. GOAD AUGUST 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4MD-173798
TAXABLE: no
NUMBER OF ORIGINALS: 83
NUMBER COPIES REQUIRED: 400
HEADER COLOR: green
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
HPP-80-3 REPRESENTATION OF KNOWLEDGE
BY A. BARR & J. DAVIDSON MARCH 1980
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: C4MD-173797
TAXABLE: yes
NUMBER OF ORIGINALS: 82
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-779 PROBLEMATIC FEATURES OF PROGRAMMING LANGUAGES:
A SITUATIONAL-CALCULUS APPROACH
BY Z. MANNA & R. WALDINGER SEPTEMBER 1980
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------