検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 計算論 : 計算可能性とラムダ計算
書誌詳細
  

NCIDBN06616709
タイトル計算論 : 計算可能性とラムダ計算 / 高橋正子著||ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン
出版者東京 : 近代科学社 , 1991.8
形態iv, 191p ; 22cm
注記参考文献: p181-183. 索引: 巻末
シリーズ名コンピュータサイエンス大学講座 ; 24
分類NDC8:410.9
NDC7:410.1
件名NDLSH:数学基礎論
著者情報高橋, 正子 (タカハシ, マサコ)
和洋区分和
標題言語日本語
本文言語日本語
出版国日本
ISBN4764901846
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(閲覧室)410.9:Ta207002292 利用可  
0図書館(書庫)410.9:Ta206006980 利用可  
0教養共４Ｆ哲学410.9:Ta020018011 研究室  

選択行を：  

▲ページトップへ