<図書>

Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings / Hubert Comon (ed.)

(Lecture notes in computer science;1232)

所蔵情報を非表示

1

本郷キャンパス

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

8521/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1997
大きさ xi, 338 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 Comon, Hubert
*International Conference on Rewriting Techniques and Applications (8th : 1997 : Sitges, Spain)
件 名 LCSH:Rewriting systems (Computer science) -- Congresses
LCSH:Electronic digital computers -- Programming -- Congresses
LCSH:Algorithms -- Congresses
分 類 LCC:QA267
DC21:005.13/1
本文言語 英語
書誌ID 2000613147
ISBN 3540629505
NCID BA31015720 WCLINK

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