検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
書誌詳細
  

NCIDBA35154875
タイトルRewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)
出版者Berlin ; New York : Springer , c1998
形態x, 342 p. : ill. ; 24 cm
注記"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref
Includes bibliographical references and index
シリーズ名Lecture notes in computer science ; 1379
分類LCC:QA267
DC21:005.13/1
件名LCSH:Rewritingsystems(Computerscience) -- Congresses
LCSH:Electronicdigitalcomputers -- Programming -- Congresses
LCSH:Algorithms -- Congresses
著者情報Nipkow, Tobias, 1958-
International Conference on Rewriting Techniques and Applications
和洋区分洋
標題言語英語
本文言語英語
出版国ドイツ = ドイツ連邦共和国
ISBN354064301X
番号LCCN : 98006357
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0理数学007:N020001148 研究室  

選択行を：  

▲ページトップへ