常翔学園 大阪工業大学図書館

計算論 : 計算可能性とラムダ計算

高橋正子著. -- 近代科学社, 1991. -- (コンピュータサイエンス大学講座 ; 24). <BB00048538>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 工大宮 工大枚閉架庫 007.6||C||24 19110625 帯出可 0件
0002 工枚方 工枚普通図書 007.6||C||24 80202386 0件
No. 0001
巻号
所蔵館 工大宮
配置場所 工大枚閉架庫
請求記号 007.6||C||24
資料ID 19110625
禁帯出区分 帯出可
状態
返却予定日
予約 0件
No. 0002
巻号
所蔵館 工枚方
配置場所 工枚普通図書
請求記号 007.6||C||24
資料ID 80202386
禁帯出区分
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 計算論 : 計算可能性とラムダ計算 / 高橋正子著
ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン
出版・頒布事項 東京 : 近代科学社 , 1991.8
形態事項 iv, 191p ; 22cm
巻号情報
ISBN 4764901846
書誌構造リンク コンピュータサイエンス大学講座||コンピュータ サイエンス ダイガク コウザ <BB99368997> 24//a
注記 参考文献: p181-183. 索引: 巻末
学情ID BN06616709
本文言語コード 日本語
著者標目リンク 高橋, 正子||タカハシ, マサコ <AU10036643>
分類標目 数学 NDC8:410.9
分類標目 NDC7:410.1
件名標目等 数学基礎論||スウガクキソロン