Kyoto Sangyo University Library
Login
  • Catalog Search Catalog Search ▼
  • User service My Library ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request
    • Renewing lending period.

Kyoto Sangyo University Library

Back to List

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

A.R. Meyer, M.A. Taitslin (eds.) ; : gw, : us. -- Springer-Verlag, 1989. -- (Lecture notes in computer science ; 363). <BB00697018>
Tag:
No tag is registered
Functions:
Contents and Summary Details
URL:

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

A.R. Meyer, M.A. Taitslin (eds.) ; : gw, : us. -- Springer-Verlag, 1989. -- (Lecture notes in computer science ; 363). <BB00697018>
Tag:
No tag is registered
Functions:
Contents and Summary Details
URL:

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Location Section Material format Call No Material ID Status Due Date Reservation
0001 : gw 01/BA 418.6||MEY 00541333 0items
No. 0001
Volumes : gw
Location 01/BA
Section
Material format
Call No 418.6||MEY
Material ID 00541333
Status
Due Date
Reservation 0items
Go to the top of this page
Go to the top of this page

Bibliography Details

title and statement of responsibility area Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
publication,distribution,etc.,area Berlin ; Tokyo : Springer-Verlag , c1989
physical description area x, 289 p. : ill. ; 25 cm
Volume Information
volumes : gw
ISBN 3540512373
Volume Information
volumes : us
ISBN 0387512373
parent bibliography link Lecture notes in computer science <BB00732837> 363//a
note Includes bibliographical references
NCID BA06995139
text language code English
author link *International Symposium on Logical Foundations of Computer Science <AU00247255>
author link Meyer, Albert R. <AU00244888>
author link Taitslin, M. A. (Michael A.) <AU00247257>
classification LCC:QA75.5
classification DC20:004/.01/5113
subject headings Computers -- Congresses
subject headings Electronic data processing -- Congresses
subject headings Logic, Symbolic and mathematical -- Congresses
Go to the top of this page
Back to List
Go to the top of this page

  • Related Information

    Related Items

    Other Databases

    Other Universities (NII)

    Get it from another library

    • ILL Copy Request(get a copy from another library)
    • ILL Borrowing Request(borrow the actual book)

    Purchase Request

    QR code