検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ 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中央５階洋
  • 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
ISBN0121229521
件名LCSH:Automatictheoremproving
LCSH:Logic,Symbolicandmathematical
NCIDBA04561364
番号LCCN : 88022175

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ