検索条件入力 ＞ 書誌詳細 ＞ CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
書誌情報:CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Berlin ; Tokyo : Springer-Verlag , c1988
vi, 346 p. : ill. ; 25 cm

WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1988
形態vi, 346 p. : ill. ; 25 cm
シリーズ名Lecture notes in computer science ; 329
注記Includes bibliographical references
出版国ドイツ
標題言語英語
本文言語英語
著者情報Workshop on Computer Science Logic
Börger, Egon, 1946-
Richter, Michael M., 1938-
Kleine Büning, Hans, 1948-
分類LCC:QA75.5
LCC:QA76.9.M35
DC19:004/.01/5113
ISBN3540502416(: gw)
0387502416(: us)
件名LCSH:Computers -- Congresses
LCSH:Electronicdataprocessing -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCIDBA04431303
番号LCCN : 88024900

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