国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
書誌情報:COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
P. Martin-Löf, G. Mints, eds.
Berlin ; New York : Springer-Verlag , c1990.
vi, 338 p. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
Berlin
0
中央5階洋
007.1
L 49
417
00510929
利用可
一般
選択行を:
書誌詳細
刊年
1990
形態
vi, 338 p. ; 25 cm.
シリーズ名
Lecture notes in computer science ; 417
注記
Includes bibliographical references.
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
International Conference on Computer Logic (1988 : Tallinn, Estonia)
Martin-Löf, Per, 1942-
Mint︠s︡, G. E.
分類
LCC:QA76.9.M35
DC20:004/.01/5113
ISBN
3540523359(Berlin)
0387523359(New York)
件名
LCSH:Computerscience -- Mathematics -- Congresses.
LCSH:Logic,Symbolicandmathematical -- Congresses.
番号
LCCN : 90009465
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。