8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
書誌情報:8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
edited by Jörg H. Siekmann
Tokyo ; Berlin : Springer-Verlag , c1986
ix, 708 p. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1986
形態ix, 708 p. ; 25 cm
別書名Eighth International Conference on Automated Deduction
CADE-8
シリーズ名Lecture notes in computer science ; 230
出版国ドイツ
標題言語英語
本文言語英語
著者情報International Conference on Automated Deduction
Siekmann, Jörg H., 1941-
分類LCC:QA76.9.A96
DC19:511.3
NDC8:410.96
ISBN3540167803(: gw)
0387167803(: us)
件名LCSH:Automatictheoremproving -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NDLSH:記号論理学
NCIDBA00215270
番号LCCN : 86017726

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