COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
書誌情報:COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
P. Martin-Löf, G. Mints, eds.
Berlin ; New York : Springer-Verlag , c1990.
vi, 338 p. ; 25 cm.


  


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

選択行を：  

書誌詳細
刊年1990
形態vi, 338 p. ; 25 cm.
シリーズ名Lecture notes in computer science ; 417
注記Includes bibliographical references.
出版国ドイツ
標題言語英語
本文言語英語
著者情報International Conference on Computer Logic (1988 : Tallinn, Estonia)
Martin-Löf, Per, 1942-
Mint︠s︡, G. E.
分類LCC:QA76.9.M35
DC20:004/.01/5113
ISBN3540523359(Berlin)
0387523359(New York)
件名LCSH:Computerscience -- Mathematics -- Congresses.
LCSH:Logic,Symbolicandmathematical -- Congresses.
番号LCCN : 90009465

   
▲ページトップへ