Hiroshima International University Library
login

   検索トップに戻る

  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Review History
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
  • Reservation Cart
  • Show History
  • My Search
  • cap_language}

Hiroshima International 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). <TY14007405>
Stamp registration
Stamp is not pushed yet.


Tag:
No tag is registered
Functions:
Review 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). <TY14007405>
Stamp registration
Stamp is not pushed yet.


Tag:
No tag is registered
Functions:
Review Details
URL:

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Library Location Call No Material ID In-Lib only Status Due Date Reservation
0001 HIU3H H3 stacks 007.64||A||97 39827384 available for lending 0items
No. 0001
Volumes
Library HIU3H
Location H3 stacks
Call No 007.64||A||97
Material ID 39827384
In-Lib only available for lending
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 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 <BB99330177> 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 <AU14006681>
author link Heering, J <AU14006682>
author link Meinke, K. (Karl) <AU14005976>
author link International Conference on Algebraic and Logic Programming <AU14006683> (6th : 1997 : Southampton, England)
author link Workshop on Higher-Order Algebra, Logic, and Term Rewriting <AU14006684> (3rd : 1997 : Southampton, England)
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

    Other Universities (NII)

    Get it from another library

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

    QR code