国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 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
状態
貸出区分
備考
1
alk. paper
0
中央5階洋
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
ISBN
0387196609(alk. paper)
件名
LCSH:Parallelprocessing(Electroniccomputers) -- Congresses.
LCSH:Programminglanguages(Electroniccomputers) -- Congresses.
LCSH:Automatictheoremproving -- Congresses.
番号
LCCN : 91015861
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。