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

perm filename BILLS.TMP[USE,CSR]3 blob sn#436937 filedate 1979-05-03 generic text, type T, neo UTF8

SUBJECT: REPORT ORDER 3 MAY 1979

TO: BRIAN LANTZ

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

We are sorry that the following reports you have ordered are out of stock:

AIM-236(hardcopy) BUCHANAN & LUCKHAM, AUTOING CNSTRCTN OF PRGRMS
AIM-236(microfiche) BUCHANAN & LUCKHAM, AUTOING CNSTRCTN OF PRGRMS

Stanford Ph.D. theses may be obtained from University Microfilms,
300 North Zeeb Road, Ann Arbor MI 48106; and other reports of our department
are usually obtainable from the National Technical Information Service,
5285 Port Royal Road, Springfield VA 22151. It generally takes a few
months after publication before the reports are available from these sources.

BRIAN LANTZ
OREGON STATE UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
CORVALLIS, OREGON 97331

SUBJECT: REPORT ORDER 3 MAY 1979

TO: DR. KARL-ADOLF ZECH

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:

AIM-304(hardcopy) WAGNER, HARDWARE VERIFICATION (THESIS)

DR. KARL-ADOLF ZECH
DIPLOM-MATHEMATIKER
DDR-1058 BERLIN
SCHLIEMANNSTRASSE 28
GERMAN DEMOCRATIC REPUBLIC

SUBJECT: REPORT ORDER 3 MAY 1979

TO: MAVEK BEDUARCIYLE

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

We are sorry that the following reports you have ordered are out of stock:

AIM-321(hardcopy) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.

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

AIM-321(microfiche) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.

MAVEK BEDUARCIYLE
UNIWERSYTET GDANSKI
INSTYTUT MATEMATYKI
UL. WITA STWOSZA 57
POLAND, 80-952 GDANSK

SUBJECT: REPORT ORDER 3 MAY 1979

TO: STEPHEN W. SMOLIAR

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:

AIM-307(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION $ 2.00

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

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.

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

AMOUNT DUE $ 2.00 U.S.

PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

STEPHEN W. SMOLIAR
GENERAL RESEARCH CORPORATION
5383 HOLLISTER AVE.
SANTA BARBARA, CA 93111

PLEASE MAKE CHECK PAYABLE TO `CSD STANFORD UNIVERSITY'.
(Note: Overpayments are welcome. They will be credited to your account and
deducted from the cost of future reports you order.)
FORWARD PAYMENT AND 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 3 MAY 1979

TO: BORIS MINCHEV

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:

AIM-306(hardcopy) GREEN & BARSTOW, ON PROGRAM SYNTHESIS KNOWLEDGE

BORIS MINCHEV
BULGARIAN ACADEMY OF SCIENCES
CENTRAL LABORATORY FOR BRAIN RESEARCH
ACADEMICIAN G. USUNOFF
G. SOFIISKY STR. 1 SOFIA 31, BULGARIA

SUBJECT: REPORT ORDER 3 MAY 1979

TO: STECHERT MACMILLAN, INC.

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:

AIM-314(hardcopy) OPPEN, REASONING ABOUT RECURSIVED DEFINED DATA STRUCTURES $ 2.15
AIM-317(hardcopy) KNUTH, TAU EPSILON CHI, A SYSTEM FOR TECHNICAL TEXT $ 7.50

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

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.

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

AMOUNT DUE $ 9.65 U.S.

PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

STECHERT MACMILLAN, INC.
7250 WESTFIELD AVE.
PENNSAUKEN, NEW JERSEY 08110

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER 3 MAY 1979

TO: HELDER COELHO

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

We are sorry that the following reports you have ordered are out of stock:

AIM-321(hardcopy) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.

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

AIM-321(microfiche) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.

HELDER COELHO
LABORATORIO NACIONAL DE ENGENHARIA CIVIL
DIVISAO DE INFORMATICA
AVENIDA DO BRAZIL-LISBOA 5
PORTUGAL

SUBJECT: REPORT ORDER 3 MAY 1979

TO: DR.DAN SIMOVICI

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:

AIM-318(hardcopy) MANNA, 6 LECTURES ON THE LOGIC OF COMPUTER PROGRAMMING

DR.DAN SIMOVICI
STR. STEFAN CEL MARE, 4
SC. A, AP.37, IASI
ROMANIA

SUBJECT: REPORT ORDER 3 MAY 1979

TO: DR. E. SUCHAN

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:

AIM-206(hardcopy) WILKS, PREFERENCE SEMANTICS $ 2.25

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

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.

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

AMOUNT DUE $ 2.25 U.S.

PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

DR. E. SUCHAN
STADT-UND UNIVERSITATSBIBLIOTHEK FRANKFURT AM MAIN
6 FRANKFURT AM MAIN 1
BOCHENHEIMER LANDSTRASSE 134-138,
RUF 79071, DURCHWAHL 7907, 235
WEST GERMANY

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER 3 MAY 1979

TO: HARALD TROST

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:

AIM-247(microfiche) GOLDMAN, CPTR GENR NAT LANG DEP CNCPT BAS-THESIS
AIM-305(microfiche) FAUGHT, MOTIVTN & INTNSONALTY IN COMP. SIMLTON MODEL (THESIS)

HARALD TROST
INSTITUT FUR MEDIZINISCHE KYBERNETIK
DER UNIVERSITAT WIEN
FREYUNG 6
A-1010 WIEN

SUBJECT: REPORT ORDER 3 MAY 1979

TO: D. BRAMS

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

We are sorry that the following reports you have ordered are out of stock:

AIM-321(hardcopy) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.

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

AIM-279(microfiche) SUZUKI, AUTO VRFCT PRGRM W/CMPLX DATA-THESIS
AIM-291(microfiche) BUCHANAN ET AL, 3 REVUS WEIZENBAUM'S CMPTR PWR & RSNG
AIM-294(microfiche) DERSHOWITZ & MANNA, EVOLUTION OF PROGRAMS
AIM-298(microfiche) MANNA & WALDINGER, LOGIC OF COMPUTER PROGRAMMING
AIM-302(microfiche) MANNA & WALDINGER, SYNTHESIS: DREAMS => PROGRAMS
AIM-308(microfiche) BARSTOW, AUTOMATIC CONSTRUCTION OF ALGORITHMS (THESIS)
AIM-316(microfiche) GINSPARG, NATURAL LANGUAGE PROCESSING (THESIS)
AIM-314(microfiche) OPPEN, REASONING ABOUT RECURSIVED DEFINED DATA STRUCTURES
AIM-318(hardcopy) MANNA, 6 LECTURES ON THE LOGIC OF COMPUTER PROGRAMMING $ 3.25
AIM-320(hardcopy) MANNA, A DEDUCTIVE APPROACH TO PROGRAM SYNTHESIS $ 2.55
AIM-321(microfiche) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.

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

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.

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

AMOUNT DUE $ 5.80 U.S.

PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

D. BRAMS
KATHOLIEKE UNIVERSITEIT LEUVEN
AFD. TOEGEPASTE WISKUNDE EN PROGRAMMATIE
CELESTIJNENLAAN 200 B
B-3030 HEVERLEE

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER 3 MAY 1979

TO: PROF. RAMESH JAIN

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

We are sorry that the following reports you have ordered are out of stock:

AIM-321(hardcopy) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.

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

AIM-321(microfiche) MCCARTHY ET AL, RECENT RESEARCH IN AI & FOUNDATIONS OF PROGRAM.
AIM-312(hardcopy) MCCARTHY ET AL., MODEL THEORY OF KNOWLEDGE $ 2.00
AIM-295(hardcopy) BOLLES, VERIFY VISION W/PRGRM ASSEMBLY SYS-THESIS $ 8.55
AIM-314(microfiche) OPPEN, REASONING ABOUT RECURSIVED DEFINED DATA STRUCTURES
AIM-307(microfiche) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION
AIM-298(microfiche) MANNA & WALDINGER, LOGIC OF COMPUTER PROGRAMMING
AIM-297(microfiche) WINOGRAD, FRAMEWORK FOR UNDERSTANDING DISCOURSE

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

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.

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

AMOUNT DUE $ 10.55 U.S.

PAYMENT ENCLOSED $________ U.S.

REFERENCE CUSTOMER #: 482FH

PAYMENT FOR ACCOUNT OF

PROF. RAMESH JAIN #482FH
WAYNE STATE UNIVERSITY
COMPUTER SCIENCE DEPARTMENT
578 MACKENZIE HALL
DETROIT, MICH. 48202

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER 3 MAY 1979

TO: SPERRY UNIVAC

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:

AIM-317(hardcopy) KNUTH, TAU EPSILON CHI, A SYSTEM FOR TECHNICAL TEXT $ 7.50

The cost of these reports is $ 7.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.

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.

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

AMOUNT DUE $ 7.50 U.S.

PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

SPERRY UNIVAC
VIRGINIA VAN HORN
DEFENSE SYSTEMS DIV.
UNIVAC PARK, PO BOX 3525
ST. PAUL, MINNESOTA 55165
ATTN: ISC, MS UOR25

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER 3 MAY 1979

TO: K. MICHAEL, 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:

AIM-317(hardcopy) KNUTH, TAU EPSILON CHI, A SYSTEM FOR TECHNICAL TEXT

K. MICHAEL, LIBRARIAN
IBM LOS ANGELES SCIENTIFIC CENTER
9045 LINCLON BLVD.
LOS ANGELES, CA 90045

SUBJECT: REPORT ORDER 3 MAY 1979

TO: CHRISTOPHER KALUS

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:

AIM-167(hardcopy) CHANDRA, EFFICIENT COMPILATION OF LNR RCRSV PRGRMS

CHRISTOPHER KALUS
RADCLIFFE SCIENCE LIBRARY
PARKS ROAD
OXFORD. OXI 3QP