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

Deduction with many-sorted rewrite

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


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

Deduction with many-sorted rewrite

by José Meseguer and Joseph A. Goguen. -- Center for the Study of Language and Information, 1985. -- (Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-85-42). <BB00310945>
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/42 00100495702 0items
No. 0001
Volumes
Library Hachioji
Location BF 洋図書
Call No 801/C-94/42
Material ID 00100495702
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 Deduction with many-sorted rewrite / by José Meseguer and Joseph A. Goguen
publication,distribution,etc.,area Stanford, Calif. : Center for the Study of Language and Information , 1985
physical description area i, 12 p. ; 28 cm
parent bibliography link Report (Center for the Study of Language and Information (U.S.)) <BB00328092> no. CSLI-85-42//a
note "December 1985"
note Bibliography: p. 11-12
note ***記述は遡及データによる
NCID BA51231183
text language code English
author link *Meseguer, José <>
author link Goguen, Joseph <>
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