検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ Instantiation theory : on the foundations of automated deduction
書誌情報:Instantiation theory : on the foundations of automated deduction
J.G. Williams.
Berlin ; New York : Springer-Verlag , c1991.
viii, 133 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1Berlin : acid-free paper0中央５階洋
  • 007.1
  • L 49
  • 518
00511025 利用可
一般 

選択行を：  

書誌詳細
刊年1991
形態viii, 133 p. : ill. ; 25 cm.
別書名Lecture notes in computer science ; 518. Lecture notes in artificial intelligence
シリーズ名Lecture notes in computer science.[Lecture notes in artificial intelligence.]
注記Includes bibliographical references (p. [128]-133).
出版国ドイツ
標題言語英語
本文言語英語
著者情報Williams, James G.
分類LCC:QA76.9.A96
DC20:511.3
ISBN3540543333(Berlin : acid-free paper)
0387543333(New York : acid-free paper)
件名LCSH:Automatictheoremproving.
番号LCCN : 91025004

   
▲ページトップへ