国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings
書誌情報:7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings
edited by R.E. Shostak
Berlin ; Tokyo : Springer-Verlag , 1984
vi, 508 p. : ill. ; 24 cm
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
: us
0
中央5階洋
007.1
L 49
170
00515206
利用可
一般
選択行を:
書誌詳細
刊年
1984
形態
vi, 508 p. : ill. ; 24 cm
シリーズ名
Lecture notes in computer science
; 170
注記
Includes bibliographies
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
International Conference on Automated Deduction
Shostak, Robert, 1931-
分類
LCC:QA76.9.A96
DC19:511.3
ISBN
3540960228(: gw)
0387960228(: us)
件名
LCSH:Automatictheoremproving -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCID
BA03714426
番号
LCCN : 84005441
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。