ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
検索結果一覧:(本学所蔵)
> Logic for problem solving
書誌詳細
NCID
BA00887359
タイトル
Logic for problem solving / Robert Kowalski
出版者
New York : Elsevier North Holland , c1979
形態
287 p. : ill. ; 24 cm
注記
Bibliography: p. 247-260
Includes index
シリーズ名
Elsevier computer science library
[Artificial intelligence series ; 7]
分類
LCC:QA63
DC:519.7
件名
LCSH:Problemsolving
LCSH:Electronicdigitalcomputers -- Programming
LCSH:Logic,Symbolicandmathematical
著者情報
Kowalski, Robert
和洋区分
洋
標題言語
英語
本文言語
英語
出版国
アメリカ合衆国
ISBN
0444003657
0444003681(: pbk)
番号
LCCN : 79022659
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約
予約人数
所在
請求記号
資料ID
状態
備考
1
0
図書館(書庫)
007.6:K
843272800
利用可
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성