検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings
書誌情報:7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings
edited by R.E. Shostak
Berlin ; Tokyo : Springer-Verlag , 1984
vi, 508 p. : ill. ; 24 cm

WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1984
形態vi, 508 p. : ill. ; 24 cm
シリーズ名Lecture notes in computer science ; 170
注記Includes bibliographies
出版国ドイツ
標題言語英語
本文言語英語
著者情報International Conference on Automated Deduction
Shostak, Robert, 1931-
分類LCC:QA76.9.A96
DC19:511.3
ISBN3540960228(: gw)
0387960228(: us)
件名LCSH:Automatictheoremproving -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCIDBA03714426
番号LCCN : 84005441

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