検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada
書誌情報:IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada
Graham Birtwistle (ed.).
London ; New York : Springer-Verlag , c1991.
x, 283 p. : ill. ; 24 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1alk. paper0中央５階洋
  • 548.16
  • H 55
  • 4
00514945 利用可
一般 

選択行を：  

書誌詳細
刊年1991
形態x, 283 p. : ill. ; 24 cm.
別書名Fourth Higher Order Workshop, Banff 1990.
4th Higher Order Workshop, Banff 1990.
シリーズ名Workshops in computing
注記"Published in collaboration with the British Computer Society."
Includes bibliographical references and index.
出版国イングランド
標題言語英語
本文言語英語
著者情報Higher Order Workshop (4th : 1990 : Banff, Alta.)
Birtwistle, G. M. (Graham M.)
分類LCC:QA76.58
DC20:004/.35
ISBN0387196609(alk. paper)
件名LCSH:Parallelprocessing(Electroniccomputers) -- Congresses.
LCSH:Programminglanguages(Electroniccomputers) -- Congresses.
LCSH:Automatictheoremproving -- Congresses.
番号LCCN : 91015861

   
▲ページトップへ