検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 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: gw0中央５階洋
  • 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
ISBN3540543171(: gw)
0387543171(: us)
件名LCSH:Rewritingsystems(Computerscience) -- Congresses
NCIDBA12762408
番号LCCN : 91025005

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ