国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
>
関連資料一覧:(本学所蔵)
> A computational logic handbook
書誌情報:A computational logic handbook
Robert S. Boyer, J. Strother Moore
Tokyo ; Boston : Academic Press , c1988
xvi, 408 p. ; 24 cm
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
0
中央5階洋
410.12
B 69
00510051
利用可
一般
選択行を:
書誌詳細
刊年
1988
形態
xvi, 408 p. ; 24 cm
シリーズ名
Perspectives in computing
; v. 23
注記
Bibliography: p. 397-399
Includes index
出版国
アメリカ合衆国
標題言語
英語
本文言語
英語
著者情報
Boyer, Robert S.
Moore, J. Strother, 1947-
分類
LCC:QA76.9.A96
DC19:511.3
ISBN
0121229521
件名
LCSH:Automatictheoremproving
LCSH:Logic,Symbolicandmathematical
NCID
BA04561364
番号
LCCN : 88022175
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。