龍谷大学図書館

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

Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Michael Hanus, Jan Heering, Karl Meinke, (eds.). -- Springer-Verlag, 1997. -- (Lecture notes in computer science ; 1298). <BB20602009>
Tag:
No tag is registered
Functions:
Contents and Summary Details
URL:

Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Michael Hanus, Jan Heering, Karl Meinke, (eds.). -- Springer-Verlag, 1997. -- (Lecture notes in computer science ; 1298). <BB20602009>
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 Call No Material ID Comments Status In-Lib only Reservation Web書棚
0001 S-N2F_Open 005.13/HAN 39700133218 一般 0items
Volumes
Library Seta Library
Location S-N2F_Open
Call No 005.13/HAN
Material ID 39700133218
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 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, (eds.)
publication,distribution,etc.,area Berlin ; Tokyo : Springer-Verlag , c1997
physical description area x, 286 p. ; 24 cm
Volume Information
ISBN 3540634592
parent bibliography link Lecture notes in computer science <BB10000611> 1298//a
　>>シリーズで再検索する
note "Proceedings of the Sixth International Conference on Algebraic and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), held in Southampton (Great Britain) during September 3-5, 1997" -- Pref
note Includes bibliographical references and index
NCID BA32292147
text language code English
author link Hanus, Michael <AU00187089>
author link Heering, J <AU00118231>
author link Meinke, K. (Karl) <AU00118235>
author link International Conference on Algebraic and Logic Programming <AU00152366> (6th : 1997 : Southampton, England)
author link International Workshop on Higher-Order Algebra, Logic, and Term Rewriting <AU00118232> (3rd : 1997 : Southampton, England)
classification LCC:QA76.63
classification DC21:005.13/1
subject headings Logic programming -- Congresses
subject headings Algebraic logic -- 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