BILLS.TMP[USE,CSR]17 - www.SailDart.org

perm filename BILLS.TMP[USE,CSR]17 blob sn#671787 filedate 1982-08-06 generic text, type T, neo UTF8

SUBJECT: REPORT ORDER 6 AUG 1982

TO: HATEM M. KHALIL

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS) $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE PROGRAMS: $ 2.45

The cost of these reports is $ 8.05. Please make your check payable, in American
dollars, to `CSD Stanford University' and return it with the invoice at the
bottom of this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: 197MK
P.O. NO.:

HATEM M. KHALIL #197MK
UNIVERSITY OF DELAWARE
DEPT OF COMPUTER & INFO SCIENCE
103 SMITH HALL
NEWARK, DELAWARE 19711

Description Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE $ 2.45

Sub Total $ 8.05 U.S.
Previously Due $ .00 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 8.05 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: PROF. N. S. SRIDHARAN

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS) $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE PROGRAMS: $ 2.45

The cost of these reports, together with the previous balance in your
account, comes to $ 28.50. Please make your check payable, in American dollars, to
`CSD Stanford University' and return it with the invoice at the bottom of
this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: 089NR
P.O. NO.:

PROF. N. S. SRIDHARAN #089NR
DEPT. OF COMPUTER SCIENCE
HILL CENTER, RUTGERS UNIV.
NEW BRUNSWICK, NEW JERSEY 08903

Sub Total $ 8.05 U.S.
Previously Due $ 20.45 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 28.50 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: R. UTHURUSAMY

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this packing slip:

STAN-CS-81-893(hardcopy) PAULSON, A COMPILER GENERATOR FOR SEMANTIC GRAMMARS: $ 7.00

You currently have a credit balance of $ 3.30. Thank you!

R. UTHURUSAMY #770TS
EXXON PRODUCTION RESEARCH CO.
P O BOX 2189
HOUSTON, TX 77001

SUBJECT: REPORT ORDER 6 AUG 1982

TO: LIBRARIAN

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES: $ 3.45

The cost of these reports, together with the previous balance in your
account, comes to $ 9.05. Please make your check payable, in American dollars, to
`CSD Stanford University' and return it with the invoice at the bottom of
this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: ENGBS
P.O. NO.:

LIBRARIAN #ENGBS
DEPT OF COMPUTER SCIENCE
THE UNIV. OF MANCHESTER
M13 9PL
ENGLAND

Description Price
--------------------------------------------------------------------------------
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABAS $ 3.45

Sub Total $ 3.45 U.S.
Previously Due $ 5.60 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 9.05 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: PROF. JACQUES COHEN

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS) $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE PROGRAMS: $ 2.45

The cost of these reports, together with the previous balance in your
account, comes to $ 32.95. Please make your check payable, in American dollars, to
`CSD Stanford University' and return it with the invoice at the bottom of
this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: 021FE
P.O. NO.:

PROF. JACQUES COHEN #021FE
PHYSICS DEPT.
BRANDEIS UNIVERSITY
WALTHAM, MASS. 02154

Sub Total $ 8.05 U.S.
Previously Due $ 24.90 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 32.95 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: DUSHAN BADAL

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-82-898(hardcopy) WHANG, WIEDERHOLD, SAGALOWICZ, SEP. AS A PHYSICAL DATA.: $ 3.85

(California sales tax has been included in the above charges.)

The cost of these reports is $ 3.85. Please make your check payable, in American
dollars, to `CSD Stanford University' and return it with the invoice at the
bottom of this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: 939HB
P.O. NO.:

DUSHAN BADAL #939HB
COMPUTER SCIENCE DEPT
NAVAL POSTGRADUATE SCHOOL
MONTEREY, CA 93940

Description Price
--------------------------------------------------------------------------------
STAN-CS-82-898(hardcopy) WHANG, WIEDERHOLD, SAGALOWICZ, SEP. AS A PHYSICAL $ 3.85

Sub Total $ 3.85 U.S.
Previously Due $ .00 U.S.
Taxes Incl.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 3.85 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: GEORGE S. LUEKER

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this packing slip:

STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS) $ 5.60

(California sales tax has been included in the above charges.)

You currently have a credit balance of $ 4.75. Thank you!

GEORGE S. LUEKER #927GS
COMPUTER SCIENCE DEPT.
U. C. IRVINE
IRVINE, CALIFORNIA 92717

SUBJECT: REPORT ORDER 6 AUG 1982

TO: HELSINKI UNIVERSITY OF TECHNOLOGY

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES: $ 3.45
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON: $ 2.25

The cost of these reports is $ 5.70. Please make your check payable, in American
dollars, to `CSD Stanford University' and return it with the invoice at the
bottom of this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: FINNF
P.O. NO.:

HELSINKI UNIVERSITY OF TECHNOLOGY #FINNF
LAB OF INFO. PROCESSING SCIENCE
ATTN: ELLI BOMAN
OTAKAARI 1
SF-02150 ESPOO 15, FINLAND

Description Price
--------------------------------------------------------------------------------
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABAS $ 3.45
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLY $ 2.25

Sub Total $ 5.70 U.S.
Previously Due $ .00 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 5.70 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFOWd, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: DR. JAMES D. HOLLAN

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-82-900(hardcopy) BLUM, DIS. & REPRE. OF CAUSAL RELATIONSHIPS: $ 9.90

(California sales tax has been included in the above charges.)

The cost of these reports, together with the previous balance in your
account, comes to $ 28.75. Please make your check payable, in American dollars, to
`CSD Stanford University' and return it with the invoice at the bottom of
this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: 920MH
P.O. NO.:

DR. JAMES D. HOLLAN #920MH
CTR HUMAN INFORMATION PROCESSING
UNIV. CALIFORNIA,SAN DIEGO
LA JOLLA, CA 92093

Description Price
--------------------------------------------------------------------------------
STAN-CS-82-900(hardcopy) BLUM, DIS. & REPRE. OF CAUSAL RELATIONSHIPS: $ 9.90

Sub Total $ 9.90 U.S.
Previously Due $ 18.85 U.S.
Taxes Incl.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 28.75 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: J. GOLDBERG

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this packing slip:

STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCURRENCY
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES:
STAN-CS-82-895(hardcopy) NOVAK, GLISP USERS MANUAL:

J. GOLDBERG #IDMDS
SRI INTERNATIONAL,

SUBJECT: REPORT ORDER 6 AUG 1982

TO: BIBLIOTHEEK

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this packing slip:

STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS:
STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCURRENCY
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES:
STAN-CS-81-886(hardcopy) KNUTH, THE CONCEPT OF A META-FONT:
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON:
STAN-CS-81-889(hardcopy) MUJTABA, GOLDMAN, AL USERS' MANUAL:
STAN-CS-82-892(hardcopy) KUPER, AN ALGORITHM FOR REDUCING ACYCLIC HYPERGRAPHS:

BIBLIOTHEEK #NETLH
INSTITUUT VOOR TOEPASSINGEN
UNIVERSITEIT VAN AMSTERDAM
ROETERSSTRAAT 15, AMSTERDAM-C
NETHERLANDS

SUBJECT: REPORT ORDER 6 AUG 1982

TO: DR. DAVID KARL PROBST

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS: $ 2.95
STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCURRENCY $ 3.15
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON: $ 2.25

The cost of these reports, together with the previous balance in your
account, comes to $ 3.30. Please make your check payable, in American dollars, to
`CSD Stanford University' and return it with the invoice at the bottom of
this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: CANVM
P.O. NO.:

DR. DAVID KARL PROBST #CANVM
COMPUTER SCIENCE DEPARTMENT
1455 DE MAISONNEUVE BLVD WEST
MONTREAL, QUEBEC H3G 1M8
CANADA

Description Price
--------------------------------------------------------------------------------
STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS: $ 2.95
STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCUR $ 3.15
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLY $ 2.25

Sub Total $ 8.35 U.S.
Previous Credit $ -5.05 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 3.30 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: PROF. C.A.R. HOARE

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS) $ 5.60
STAN-CS-81-837(hardcopy) BUCHANAN, RESEARCH ON EXPERT SYSTEMS $ 3.15

The cost of these reports is $ 8.75. Please make your check payable, in American
dollars, to `CSD Stanford University' and return it with the invoice at the
bottom of this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: ENGFT
P.O. NO.:

PROF. C.A.R. HOARE #ENGFT
PROGRAMMING RESEARCH GROUP
45 BANBURY RD.
OXFORD
ENGLAND

Description Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60
STAN-CS-81-837(hardcopy) BUCHANAN, RESEARCH ON EXPERT SYSTEMS $ 3.15

Sub Total $ 8.75 U.S.
Previously Due $ .00 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 8.75 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: ARTURO PUENTE

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS) $ 5.60

The cost of these reports, together with the previous balance in your
account, comes to $ 11.15. Please make your check payable, in American dollars, to
`CSD Stanford University' and return it with the invoice at the bottom of
this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: VENRE
P.O. NO.:

ARTURO PUENTE #VENRE
APARTADO 88521
CARACAS 1080
VENEZUELA

Description Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60

Sub Total $ 5.60 U.S.
Previously Due $ 5.55 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 11.15 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -
SUBJECT: REPORT ORDER 6 AUG 1982

TO: ROBERT MAGGAR

FROM: LIBRARY AND PUBLICATIONS COMMITTEE
COMPUTER SCIENCE DEPARTMENT
STANFORD UNIVERSITY
STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS: $ 2.95
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON: $ 2.25
STAN-CS-81-896(hardcopy) CLANCEY, EPISTEMOLOGY OF RULE-BASED EXPERT SYSTEM: ... EXPLANATION: $ 3.85

The cost of these reports is $ 9.05. Please make your check payable, in American
dollars, to `CSD Stanford University' and return it with the invoice at the
bottom of this memo.

------------------------------- INVOICE -------------------------------------------

STANFORD UNIVERSITY INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
DATE: 6 AUG 1982
SOLD TO: CUSTOMER NO.: 064RG
P.O. NO.:

ROBERT MAGGAR #064RG
130 ISINGLASS RD
SHELTON, CT 06484

Description Price
--------------------------------------------------------------------------------
STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS: $ 2.95
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLY $ 2.25
STAN-CS-81-896(hardcopy) CLANCEY, EPISTEMOLOGY OF RULE-BASED EXPERT SYSTEM $ 3.85

Sub Total $ 9.05 U.S.
Previously Due $ .00 U.S.
Taxes N.A.
-----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS --> Total Due $ 9.05 U.S.
--------------------------------------------------------------------------------
Disclaimer: The Computer Science Department of Stanford University will not
exchange or issue credit for returned publications, and is not responsible for
damages incurred in shipment of publications.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this invoice) to: STANFORD UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
ATTENTION PUBLICATIONS COORDINATOR
STANFORD, CA 94305 U.S.A.

- - - - IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT - - - -