検索条件入力 ＞ 書誌詳細 ＞ Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
書誌情報:Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
S. Kaplan, J.-P. Jouannaud (eds.)
Berlin ; Tokyo : Springer-Verlag , c1988
vi, 278 p. : ill. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1988
形態vi, 278 p. : ill. ; 25 cm
シリーズ名Lecture notes in computer science ; 308
注記Includes bibliographical references
出版国ドイツ
標題言語英語
本文言語英語
著者情報Kaplan, Stéphane, 1961-
Jouannaud, Jean-Pierre
分類LCC:QA267
DC19:511.3
ISBN3540192425(: gw)
0387192425(: us)
件名LCSH:Rewritingsystems(Computerscience) -- Congresses
NCIDBA03953802
番号LCCN : 88017626

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