龍谷大学図書館

Login

  • Catalog Search Catalog Search ▼
  • User service MyLibrary Menu ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Group Study Room
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

Ryukoku University Library

Back to previous

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). <BB20116308>
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). <BB20116308>
Tag:
No tag is registered
Functions:
Contents and Summary Details
URL:

HoldingsList 1-2 of about 2

Click a number to display details about the collection.

No. Volumes Location Call No Material ID Comments Status In-Lib only Reservation Web書棚
0001 : gw S Automated Storage 004/MEY 38940217718 一般 0items
0002 : gw S Automated Storage 004/MEY 39040037222 一般 0items
Volumes : gw
Library Seta Library
Location S Automated Storage
Call No 004/MEY
Material ID 38940217718
Comments
Status
In-Lib only 一般
Reservation 0items
Web書棚
Volumes : gw
Library Seta Library
Location S Automated Storage
Call No 004/MEY
Material ID 39040037222
Comments
Status
In-Lib only 一般
Reservation 0items
Web書棚
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 <BB10000611> 363//a
　>>シリーズで再検索する
note Includes bibliographical references
NCID BA06995139
text language code English
author link *International Symposium on Logical Foundations of Computer Science <AU00118228>
author link Meyer, Albert R. <AU00087271>
author link Taitslin, M. A. (Michael A.) <AU00370548>
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 previous
Go to the top of this page

  • Related Information

    Related Items

    Other Databases

    QR code