perm filename FICHE.NON[BIB,CSR]2 blob
sn#608184 filedate 1981-08-25 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 MICROFICHE ORDER July 20, 1981
C00006 ENDMK
Cā;
MICROFICHE ORDER July 20, 1981
TO: Western Microfilm, Inc. FROM: Department of Computer Science
1 South Park Avenue Stanford University
San Francisco, CA 94107 Attn: Dawn Yolton
Building 460, Room 206
Stanford, CA 94305
Collate the fiche if there are more than one of each document. Please put in
glassine envelopes.(NOTE: this is a deviation from previous requests). Return
the microfilm masters as well as the document originals.
Please put the taxable items and the non-taxable items on SEPARATE invoices and
return a copy of each order with the invoice when sent.
If you have any questions concerning this order, please call Dawn Yolton at
(415) 497-4776.
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4BD-173798
TAXABLE: NON-TAXABLE
NUMBER OF ORIGINALS: 128
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-857 QUERY OPTIMIZATION BY SEMANTIC REASONING (CARD x OF x)
BY JONATHAN JAY KING MAY 1981
--------------------------------------------------------------------------------
BLANKET ORDER NUMBER: U4BD-173798
TAXABLE: NON-TAXABLE
NUMBER OF ORIGINALS: 62
NUMBER COPIES REQUIRED: 400
HEADER COLOR: red
12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:
STAN-CS-80-836 VERIFICATION OF CONCURRENT PROGRAMS PART I: (CARD x OF x)
THE TEMPORAL FRAMEWORK
BY ZOHAR MANNA & AMIR PNUELI JUNE 1981
--------------------------------------------------------------------------------