<図書>

Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.)

(Lecture notes in computer science;968)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.968 2012595555

7781/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Conditional 8010131855


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1995
大きさ viii, 373 p. : ill. ; 24 cm
一般注記 Held in conjunction with the Twenty-first International Colloquium on Automata, Language and Programming (ICALP'94)
Includes bibliographical references and index
著者標目 Dershowitz, Nachum, 1951-
Lindenstrauss, Naomi
*International Workshop on Conditional (and Typed) Rewriting Systems (4th : 1994 : Jerusalem, Israel)
件 名 LCSH:Rewriting systems (Computer science) -- Congresses
LCSH:Electronic digital computers -- Programming -- Congresses
LCSH:Algorithms -- Congresses
分 類 NDC9:007.63
LCC:QA267
DC19:511.3
NDC8:007.64
本文言語 英語
書誌ID 2000408969
ISBN 3540603816
NCID BA25971615 WCLINK

検索結果一覧に戻る ページトップ