国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> Automation of reasoning.
書誌情報:Automation of reasoning.
edited by Jörg Siekmann and Graham Wrightson.
Berlin ; New York : Springer , 1983.
xii, 637 p. : ill. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
v. 1
0
中央5階洋
007.1
A 96
1
00514962
利用可
一般
2
v. 2
0
中央5階洋
007.1
A 96
2
00514963
利用可
一般
選択行を:
書誌詳細
刊年
1983
形態
xii, 637 p. : ill. ; 25 cm.
注記
Includes bibliographical references.
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
Siekmann, Jörg H.
Wrightson, Graham.
分類
LCC:QA76.9.A96
DC19:001.53/5
ISBN
0387120432(U.S. : v. 1)
0387120440(U.S. : v. 2)
件名
LCSH:Automatictheoremproving.
番号
LCCN : 83172968
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。