Automation of reasoning.
書誌情報:Automation of reasoning.
edited by Jörg Siekmann and Graham Wrightson.
Berlin ; New York : Springer , 1983.
xii, 637 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1v. 10中央５階洋
  • 007.1
  • A 96
  • 1
00514962 利用可
一般 
2v. 20中央５階洋
  • 007.1
  • A 96
  • 2
00514963 利用可
一般 

選択行を：  

書誌詳細
刊年1983
形態xii, 637 p. : ill. ; 25 cm.
注記Includes bibliographical references.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Siekmann, Jörg H.
Wrightson, Graham.
分類LCC:QA76.9.A96
DC19:001.53/5
ISBN0387120432(U.S. : v. 1)
0387120440(U.S. : v. 2)
件名LCSH:Automatictheoremproving.
番号LCCN : 83172968

   
▲ページトップへ