Library
Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • New Purchase Request
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • Bookmark
    • My Search
    • Review History
  • 電子資料 Electric Books ▼

Library

Back to previous

Equality, types, modules and generics for logic programing

by Joseph A. Goguen and José Meseguer. -- Center for the Study of Language and Information, 1984. -- (Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-84-5). <BB00310986>
Stamp registration
あべし(0) きゅんきゅん(0) ぽろぽろ(0) わくわく(0) ざわざわ(0)


Tag:
No tag is registered
Functions:
Contents and Summary Review Details
URL:

Equality, types, modules and generics for logic programing

by Joseph A. Goguen and José Meseguer. -- Center for the Study of Language and Information, 1984. -- (Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-84-5). <BB00310986>
Stamp registration
あべし(0) きゅんきゅん(0) ぽろぽろ(0) わくわく(0) ざわざわ(0)


Tag:
No tag is registered
Functions:
Contents and Summary 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 Reservation WEB書棚
0001 Hachioji BF 洋図書 801/C-94/5 00100496024 0items
No. 0001
Volumes
Library Hachioji
Location BF 洋図書
Call No 801/C-94/5
Material ID 00100496024
Status
Due Date
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 Equality, types, modules and generics for logic programing / by Joseph A. Goguen and José Meseguer
publication,distribution,etc.,area Stanford, Calif. : Center for the Study of Language and Information , 1984
physical description area 30 p. ; 28 cm
parent bibliography link Report (Center for the Study of Language and Information (U.S.)) <BB00328092> no. CSLI-84-5//a
note "March 1984"
note Bibliography: p. 26-30
note ***記述は遡及データによる
NCID BA51224563
text language code English
author link *Goguen, Joseph <>
author link Meseguer, José <>
author link Stanford University. Center for the Study of Language and Information <AU00030470>
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)

    Purchase Request

    QR code