国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 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
: us
0
中央5階洋
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
ISBN
3540502416(: gw)
0387502416(: us)
件名
LCSH:Computers -- Congresses
LCSH:Electronicdataprocessing -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCID
BA04431303
番号
LCCN : 88024900
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。