書誌詳細
  

NCIDBA00887359
タイトル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
和洋区分
標題言語英語
本文言語英語
出版国アメリカ合衆国
ISBN0444003657
0444003681(: pbk)
番号LCCN : 79022659
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(書庫)007.6:K843272800 利用可  

選択行を: