計算論 : 計算可能性とラムダ計算
書誌情報:計算論 : 計算可能性とラムダ計算
ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン
高橋正子著
東京 : 近代科学社 , 1991.8
iv, 191p ; 22cm
WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1 0図書館3階
  • 410.9
  • Tak
  •  
1138170113817 利用可
図書 

選択行を:  

書誌詳細
刊年1991
形態iv, 191p ; 22cm
シリーズ名コンピュータサイエンス大学講座 ; 24
注記参考文献: p181-183. 索引: 巻末
出版国日本
標題言語日本語
本文言語日本語
著者情報高橋, 正子 (タカハシ, マサコ)
分類NDC8:410.9
NDC7:410.1
ISBN4764901846
無効/取消ISBN9784764901841
件名NDLSH:数学基礎論
NCIDBN06616709

WebCatPlus を見る    CiNii Books を見る