津山工業高等専門学校
ヘルプ
ログイン
図書館
津山工業高等専門学校
目録検索 ▼
検索トップへ
分類検索
雑誌タイトルリスト
利用者サービス ▼
≡
書誌詳細
津山工業高等専門学校
検索結果一覧へ戻る
計算論 : 計算可能性とラムダ計算
高橋正子著. -- 近代科学社, 1991. -- (コンピュータサイエンス大学講座 ; 24). <BB01323487>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
書誌URL:
計算論 : 計算可能性とラムダ計算
高橋正子著. -- 近代科学社, 1991. -- (コンピュータサイエンス大学講座 ; 24). <BB01323487>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
書誌URL:
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
全て
函館高専
-函館高専
一関高専
-一関高専
仙台高専
-仙台(広瀬)
鶴岡高専
-鶴岡高専
福島高専
-福島高専
群馬高専
-群馬高専
豊田高専
-豊田高専
明石高専
-明石高専
奈良高専
-奈良高専
津山高専
-津山高専
大島商船高専
-大島商船高専
香川高専
-香川(詫間)
高知高専
-高知高専
有明高専
-有明高専
沖縄高専
-沖縄高専
10件
20件
50件
100件
No.
巻号
所蔵館
配置場所
請求記号
資料ID
状態
コメント
返却予定日
0001
津山高専
図書館(自然科学)
410.9||T
000061062
No.
0001
巻号
所蔵館
津山高専
配置場所
図書館(自然科学)
請求記号
410.9||T
資料ID
000061062
状態
コメント
返却予定日
このページのTOPへ
書誌詳細
標題および責任表示
計算論 : 計算可能性とラムダ計算 / 高橋正子著
ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン
出版・頒布事項
東京 : 近代科学社 , 1991.8
形態事項
iv, 191p ; 22cm
巻号情報
ISBN
4764901846
書誌構造リンク
コンピュータサイエンス大学講座||コンピュータ サイエンス ダイガク コウザ <BB00574184> 24//a
注記
参考文献: p181-183. 索引: 巻末
学情ID
BN06616709
本文言語コード
日本語
著者標目リンク
高橋, 正子
タカハシ, マサコ <NC:DA00625122>
分類標目
数学 NDC8:410.9
分類標目
NDC7:410.1
件名標目等
数学基礎論||スウガクキソロン
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
コンピュータサイエンス大学講座
分類からさがす
数学 NDC8:410.9
NDC7:410.1
件名からさがす
数学基礎論
他の検索サイトで探す
Google Books
WEB STORE
Knowledge Worker
WorldCat
NDLSearch
CiNii Books
この書誌のQRコード