perm filename DIALOG.TMP[USE,CSR]1 blob
sn#376604 filedate 1978-08-31 generic text, type T, neo UTF8
Hello! Please wait a minute while I read in the address file....
The address file contains a total of 1678 entries.
CSREPORT system: What can I do for you? SEND
I have found 1004 records about old reports in file ONHAND.DSK.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
JO ANN KLAR
UNIVERSITY OF ARIZONA, COMPUTER SCI DEPT
TUCSON, AZ 85721
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM310
Type short name of the next report requested: AIM311
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
AIM-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy) $ 2.65
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(hardcopy) $ 2.25
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
LIBRARY, ACQUISITIONS DEPT
UNIVERSITY OF ROCHESTER
ROCHESTER, N.Y. 14627
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM283F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-76-564(microfiche) DAVIS,APPL OF META KNOWLEDGE TO LARGE KNOWLG BASES(THESIS)
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #GERFU
Is the name PROF. DR. U. PAPE? (Y or N) Y
Type short name of report requested: AIM308F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-641(microfiche) BARSTOW, AUTOMATIC CONSTRUCTION OF ALGORITHMS (THESIS)
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #608FM
Is the name PROF. GLENN MANACHER? (Y or N) Y
Type short name of report requested: AIM297
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will say that we are unable to send
STAN-CS-77-610(hardcopy) WINOGRAD, FRAMEWORK FOR UNDERSTANDING DISCOURSE
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #GERET
Is the name DR. HERBERT HARRELL? (Y or N) Y
Type short name of report requested: AIM307
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION $ 2.00
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
LIBRARY-DEPT OF COMPUTER SCI.
UNIVERSITY OF NORTH CAROLINA
NEW
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested:
Before I make up the invoice, you'd better doublecheck the above.
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
LIBRARY-DEPT OF COMPUTER SCI
UNIVERSITY OF NORTH CAROLINA
NEW WEST HALL 035A
CHAPEL HILL, N.C. 27514
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM300F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-617(microfiche) WINOGRAD, SOME CONTSTD SUPOSTONS...STDY OF LNGAGE
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #ARGRO
Is the name PROF. RAFAEL O. FONTAO? (Y or N) Y
Type short name of report requested: AIM308F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-641(microfiche) BARSTOW, AUTOMATIC CONSTRUCTION OF ALGORITHMS (THESIS)
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
LEO OJALA
HELSINKI UNIVERSITY OF TECHNOLOGY
OTAKAARI 5A SF-02150 ESPOO 15
FINLAND
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM307F
Type short name of the next report requested: AIM309F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-640(microfiche) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION
STAN-CS-77-646(microfiche) NELSON & OPPEN, EFCNT DECSION PROCDRS BASED ON CNGRUN CLSR
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
H. L. HANSEN
TECHNISCHE UNIVERSITAT BERLIN
OTTO-SUHR-ALLE 18/20
D-1000 BERLIN 10, GERMANY
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM307F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-640(microfiche) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #277IR
Is the name LIBRARY? (Y or N) Y
Type short name of report requested: AIM310
Type short name of the next report requested: AIM302
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
AIM-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy)
STAN-CS-77-630(hardcopy) MANNA & WALDINGER, SYNTHESIS: DREAMS => PROGRAMS
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
DR. R. WIEHAGEN
SUKTION MATHEMATIK DER HUMBOLDT-UNIVERSITAT ZU BERLIN
DDR-1086 BERLIN
GERMANY
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM307
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION $ 2.00
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
MICHAEL R. LEVY
UNIVERSITY OF WATERLOO
DEPT OF COMPUTER SCIENCE
WATERLOO, ONTARIO, CANADA N2L 3G1
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM307
Type short name of the next report requested: AIM309
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION $ 2.00
STAN-CS-77-646(hardcopy) NELSON & OPPEN, EFCNT DECSION PROCDRS BASED ON CNGRUN CLSR $ 2.50
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
DR. A. R. M. WAJIH
THE PULLMAN KELLOGG BUILDING
GENERAL ENGINEERING DEPT
WEMBLEY, MIDDLESEX HA9 OEE
ENGLAND
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM135
Type short name of the next report requested: AIM195
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-70-179(hardcopy) SMITH, MLISP $ 4.50
We will say that we are unable to send
STAN-CS-73-356(hardcopy) SMITH & ENEA, MLISP2
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
WAYNE F. MUHLENBURG
1538 SAWTELLE BLVD.
LOS ANGELES, CA 90025
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM235.1
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
AIM-235.1(hardcopy) WEYHRAUCH, A USER'S MANUAL FOR "FOL" $ 3.30
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
BOBBIE OTHMER
DEPT OF COMPUTER SCIENCE
RUTGERS UNIVERSITY
NEW BRUNSWICK, N.J. 08903
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM259F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-75-498(microfiche) SAMET, AUTO PRVG CRCT TRNSLATNS INVLV CODE-THESIS
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
BLEISS
LEHRSTUHL B FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT
33 BRAUNSCHWEIG
DEN FERNRUF, GERMANY
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM309F
Type short name of the next report requested: AIM307
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-646(microfiche) NELSON & OPPEN, EFCNT DECSION PROCDRS BASED ON CNGRUN CLSR
STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION $ 2.00
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
EDWARD P. KATZ
COMPUTER SCIENCE DEPT.
THE UNIVERSITY OF SOUTHWESTERN LOUISIANA
LAFAYETTE, LOUISIANA 70504
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM261
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-75-501(hardcopy) PETTERSEN, PROCDRAL EVNTS AS SOFTWARE INTERRUPTS $ 1.95
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
E.S.I.A.
C/O PUBLISHERS AIRWAGON
80-00 COOPER AVENUE, BLDG. 3
GLENDALE, N.Y. 11227
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM310
Type short name of the next report requested: AIM311
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
AIM-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy) $ 2.65
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(hardcopy) $ 2.25
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
THE BOOK HOME
119 E. DALE
COLORADO SPRINGS, COL. 80902
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM301
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will say that we are unable to send
STAN-CS-77-624(hardcopy) EARNEST ET AL, RECENT RESEARCH IN COMPUTER SCIENCE
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #JAPIL
Is the name DR. HIROJI NISHINO? (Y or N) Y
Type short name of report requested: AIM310
Type short name of the next report requested: AIM311
Type short name of the next report requested: AIM310F
Type short name of the next report requested: AIM311F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
AIM-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy) $ 2.65
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(hardcopy) $ 2.25
AIM-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(microfiche)
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(microfiche)
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
ANN MURPHY
PROGRAM LIBRARY ASST
COMPUTER SCI CNTER UNIVERSITY OF MARYLAND
COLLEGE PARK, MD 20742
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM277F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-76-542(microfiche) MANNA & SHAMIR, THEORY ASPECTS OF OPTIMAL FXDPT
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
SINMINCHU PUBLISHING CO.
10 QUEEN VICTORIA ST., 6TH FLOOR
HONG KONG
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM299
Type short name of the next report requested: AIM302
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-77-614(hardcopy) MANNA & SHAMIR, CONVERG FUNCTIONS TO FIXEDPOINTS $ 2.95
STAN-CS-77-630(hardcopy) MANNA & WALDINGER, SYNTHESIS: DREAMS => PROGRAMS $ 5.05
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
TONY GAHLINGER
C/O COMPUTER SCIENCE DEPT
UNIVERSITY OF WESTERN ONTARRIO
LONDON, ONTARIO, CANADA
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM291F
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-76-577(microfiche) BUCHANAN ET AL, 3 REVUS WEIZENBAUM'S CMPTR PWR & RSNG
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
RICHARD
COMPUTER SCIENCE LIBRARY
STANFORD UNIVERSITY
STANFORD, CA
Should this customer get the reports free of charge? (Y or N) Y
Type short name of report requested: AIM310*2
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
AIM-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy)
(2 copies)
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #99999
Is the name PEOPLE NOT ON MAILING LIST? (Y or N) Y
Type the name and address of customer, followed by a blank line:
LIBRARY TECHNICAL PROCESSING
NASA/AMES RESEARCH CENTER
P.O. BOX 221
MOFFETT FIELD, CA 94035
Should this customer get the reports free of charge? (Y or N) N
Type short name of report requested: AIM289
Type short name of the next report requested: AIM290
Type short name of the next report requested:
Before I make up the invoice, you'd better doublecheck the above.
We will be sending
STAN-CS-76-574(hardcopy) REISER, SAIL $ 6.70
STAN-CS-76-575(hardcopy) SMITH, SAIL TUTORIAL $ 3.20
Is it all right to make up the invoice? (Y or N) Y
OK, I am making an invoice for this customer.
Type hashcode (or 99999) for person requesting old reports: #608FM
Is the name PROF. GLENN MANACHER? (Y or N)
Type hashcode (or 99999) for person requesting old reports: #Y
Sorry, that hashcode isn't in the file. What is the name? 608FM
Here are all the entries matching that name:
Type hashcode (or 99999) for person requesting old reports: #
I wrote the invoices onto file BILLS.TMP.
To print them, do
XS BILLS.TMP/NOHEAD
and after successful completion don't forget to DEL BILLS.TMP.
The file BILLS$.TMP contains a list of the invoices sent (for your
permanent record). You should XSpool it and then DELete it.
The mailing `labels' have been written onto the file SNDLAB.TMP.
You should spool them,in the normal way. The paper can then be cut
and pasted onto the envelopes. Don't forget to delete the file.
CSREPORT system: What can I do for you?
May I record all of today's transactions permanently on file ADDFIL.DSK? (Y or N) Y
The address file now contains a total of 1678 entries,
including the following special categories:
F = 312 A = 23 N = 24 M = 6
and the total balance outstanding is $-1941.93.
SUMMARY of today's financial transactions:
$ .00 received in payments,
$ .00 of which was from residents of California.
$ .00 was subtracted from accounts due to adjustments or
deletions from the mailing list.
$ 52.85 new charges were sent out on invoices.
See you later. Be sure to xspool a copy of DIALOG.TMP,
which records what happened today.