Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
書誌情報:Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
Berlin ; Tokyo : Springer-Verlag , c1988
iv, 218 p. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


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

選択行を：  

書誌詳細
刊年1988
形態iv, 218 p. ; 25 cm
シリーズ名Lecture notes in computer science ; 306
注記Includes bibliographical references
出版国ドイツ
標題言語英語
本文言語英語
著者情報Foundations of Logic and Functional Programming Workshop
Boscarol, Mauro, 1947-
Carlucci Aiello, Luigia, 1946-
Levi, Giorgio, 1942-
分類LCC:QA76.6
DC19:005.1
ISBN3540191291(: gw)
0387191291(: us)
件名LCSH:Functionalprogramming(Computerscience) -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
NCIDBA0382030X
番号LCCN : 88012313

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