書誌詳細
  

NCIDBA41470009
タイトルHandbook of tableau methods / edited by Marcello D'Agostino ... [et al.]
出版者Dordrecht : Kluwer , 1999
形態viii, 670 p. ; 25 cm
注記Includes index
分類LCC:QA76.9.A96
DC21:511.3
件名LCSH:Automatictheoremproving
LCSH:Logic,Symbolicandmathematical
著者情報D'Agostino, Marcello
和洋区分洋
標題言語英語
本文言語英語
出版国オランダ
ISBN0792356276
番号LCCN : 99013568
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0教養共４Ｆ哲学410.9:D020018236 研究室  

選択行を：  

▲ページトップへ