5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
書誌情報:5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
edited by W. Bibel and R. Kowalski
Berlin ; New York : Springer-Verlag , 1980
vii, 385 p. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1980
形態vii, 385 p. ; 25 cm
シリーズ名Lecture notes in computer science ; 87
注記Includes bibliographies
出版国ドイツ
標題言語英語
本文言語英語
著者情報Conference on Automated Deduction
Bibel, Wolfgang, 1938-
Kowalski, Robert
分類LCC:QA76.9.A96
DC:511.3
ISBN3540100091(: gw)
0387100091(: us)
件名LCSH:Automatictheoremproving -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCIDBA03082774
番号LCCN : 80018708

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