Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
書誌情報:Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
E. Börger ... [et al.], eds
Berlin ; Tokyo : Springer-Verlag , c1991
viii, 399 p. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1991
形態viii, 399 p. ; 25 cm
シリーズ名Lecture notes in computer science ; 533
注記Includes bibliographical references
出版国ドイツ
標題言語英語
本文言語英語
著者情報Börger, Egon, 1946-
Workshop on Computer Science Logic
分類LCC:QA76.9.L63
LCC:QA75.5
DC20:004
NDC8:007.6
ISBN3540544879(: gw)
0387544879(: us)
件名LCSH:Computerlogic -- Congresses
LCSH:Computerscience -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCIDBA13014293
番号LCCN : 91028940

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