<図書>

Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)

(Lecture notes in computer science;914)

所蔵情報を非表示

1

本郷キャンパス

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

7460/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin : Springer-Verlag
出版年 c1995
大きさ xii, 471 p. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Conference on Rewriting Techniques and Applications (6th : 1995 : Kaiserslautern, Germany)
Hsiang, Jieh, 1954-
件 名 LCSH:Rewriting systems (Computer science) -- Congresses
LCSH:Electronic digital computers -- Programming -- Congresses
LCSH:Algorithms -- Congresses
分 類 LCC:QA267
DC20:005.13/1
本文言語 英語
書誌ID 2000401048
ISBN 3540592008
NCID BA24823237 WCLINK

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