ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
検索結果一覧:(本学所蔵)
> Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
書誌詳細
NCID
BA35154875
タイトル
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
和洋区分
洋
標題言語
英語
本文言語
英語
出版国
ドイツ = ドイツ連邦共和国
ISBN
354064301X
番号
LCCN : 98006357
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約
予約人数
所在
請求記号
資料ID
状態
備考
1
0
理数学
007:N
020001148
研究室
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성