国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
書誌情報:Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
S. Kaplan, M. Okada, (eds.)
Berlin ; Tokyo : Springer-Verlag , c1991
x, 461 p. : ill. ; 25 cm
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
: gw
0
中央5階洋
007.1
L 49
516
00510974
利用可
一般
選択行を:
書誌詳細
刊年
1991
形態
x, 461 p. : ill. ; 25 cm
シリーズ名
Lecture notes in computer science
; 516
注記
Includes bibliographical references
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
Kaplan, Stéphane, 1961-
Okada, M. (Mitsuhiro), 1954-
International Workshop on Conditional (and Typed) Rewriting Systems
分類
LCC:QA267
DC19:511.3
NDC8:007.64
ISBN
3540543171(: gw)
0387543171(: us)
件名
LCSH:Rewritingsystems(Computerscience) -- Congresses
NCID
BA12762408
番号
LCCN : 91025005
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。