9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings
書誌情報:9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings
E. Lusk, R. Overbeek (eds.)
Berlin ; Tokyo : Springer-Verlag , c1988
x, 775 p. : ill. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1988
形態x, 775 p. : ill. ; 25 cm
別書名Ninth International Conference on Automated Deduction
CADE-9
シリーズ名Lecture notes in computer science ; 310
注記Includes bibliographical references
出版国ドイツ
標題言語英語
本文言語英語
著者情報International Conference on Automated Deduction
Lusk, Ewing L.
Overbeek, Ross A.
分類LCC:QA76.9.A96
DC19:511.3
ISBN354019343X(: gw)
038719343X(: us)
件名LCSH:Automatictheoremproving -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCIDBA03820660
番号LCCN : 88015876

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