Tokai University Library

Tokai 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, 1997. -- (Lecture notes in computer science ; 1298). <TY10074192>
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, 1997. -- (Lecture notes in computer science ; 1298). <TY10074192>
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 Status Due Date WEB書棚
0001 12Gokan 開架室 549.92/L/1298 0010008089353 配架済
No. 0001
Volumes
Library 12Gokan
Location 開架室
Call No 549.92/L/1298
Material ID 0010008089353
Status 配架済
Due Date
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 , c1997
physical description area x, 286 p. : ill. ; 24 cm
Volume Information
ISBN 3540634592
parent bibliography link Lecture notes in computer science <TY10000225> 1298
note "Proceedings of the Sixth International Conference on Algebra and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), hedl in Southampton (Great Britain) during September 3-5, 1997"--Galley pref
note Includes bibliographical references and index
NCID BA32292147
text language code English
author link Hanus, Michael <>
author link Heering, J <>
author link Meinke, K. (Karl) <>
author link International Conference on Algebraic and Logic Programming <> (6th : 1997 : Southampton, England)
author link Workshop on Higher-Order Algebra, Logic, and Term Rewriting <> (3rd : 1997 : Southampton, England)
classification LCC:QA76.63
classification DC21:005.13/1
local CLS NDC:549.92
subject headings Logic programming -- Congresses
subject headings Algebraic logic -- Congresses
ID TY10074192
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)

    QR code