Tokai University Library

Tokai University Library

Back to previous

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Michael Hanus, Mario Rodríguez-Artalejo (eds.). -- Springer, 1996. -- (Lecture notes in computer science ; 1139). <TY10065272>
Tag:
No tag is registered
Functions:
Review Details
URL:

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Michael Hanus, Mario Rodríguez-Artalejo (eds.). -- Springer, 1996. -- (Lecture notes in computer science ; 1139). <TY10065272>
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/1139 0010007892586 配架済
No. 0001
Volumes
Library 12Gokan
Location 開架室
Call No 549.92/L/1139
Material ID 0010007892586
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 : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
publication,distribution,etc.,area Berlin ; Tokyo : Springer , c1996
physical description area viii, 344 p. : ill. ; 24 cm
Volume Information
ISBN 3540617353
parent bibliography link Lecture notes in computer science <TY10000225> 1139
note Includes bibliographical references
NCID BA2838791X
text language code English
author link Hanus, Michael <>
author link Rodríguez Artalejo, M. (Mario) <>
author link *International Conference on Algebraic and Logic Programming <> (5th : 1996 : Aachen, Germany)
classification LCC:QA76.6
classification DC20:005.13/1
local CLS NDC:549.92
subject headings Logic programming -- Congresses
subject headings Algebraic logic -- Congresses
ID TY10065272
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