検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
書誌情報:Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
N. Dershowitz (ed.)
Berlin ; Tokyo : Springer-Verlag , c1989
vii, 579 p. : ill. ; 24 cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1: us0中央５階洋
  • 007.1
  • L 49
  • 355
00511748 利用可
一般 

選択行を：  

書誌詳細
刊年1989
形態vii, 579 p. : ill. ; 24 cm
シリーズ名Lecture notes in computer science ; 355
注記Includes bibliographies and index
出版国ドイツ
標題言語英語
本文言語英語
著者情報International Conference on Rewriting Techniques and Applications
Dershowitz, Nachum, 1951-
分類LCC:QA267
DC20:511.3
ISBN3540510818(: gw)
0387510818(: us)
無効/取消ISBN0387810818(: us)
件名LCSH:Rewritingsystems(Computerscience) -- Congresses
LCSH:Electronicdigitalcomputers -- Programming -- Congresses
LCSH:Algorithms -- Congresses
NCIDBA06896024
番号LCCN : 89006130

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