検索条件入力書誌詳細関連資料一覧:(本学所蔵) > Logic for computer science : foundations of automatic theorem proving
書誌詳細
  

NCIDBA00076866
タイトルLogic for computer science : foundations of automatic theorem proving / Jean H. Gallier
出版者New York : Harper & Row , c1986
形態xv, 511 p. ; 25 cm
注記Includes index
シリーズ名Harper & Row computer science and technology series ; 5
分類LCC:QA76.9.A96
DC19:511.3
件名LCSH:Automatictheoremproving
LCSH:Logic,Symbolicandmathematical
著者情報Gallier, Jean H.
和洋区分
標題言語英語
本文言語英語
出版国アメリカ合衆国
ISBN0060422254
番号LCCN : 85014071
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(書庫)007.1:G883293600 利用可  

選択行を: