このページのリンク

利用統計

  • このページへのアクセス:127回

  • 貸出数:23回
    (1年以内の貸出数:2回)

<図書>
計算論 : 計算可能性とラムダ計算
ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン

責任表示 高橋正子著
シリーズ コンピュータサイエンス大学講座 ; 24
データ種別 図書
出版者 東京 : 近代科学社
出版年 1991.8
本文言語 日本語
大きさ iv, 191p ; 22cm

所蔵情報


理系図1F 開架 068251191008156 410.9/Ta 33 1991

理系図3F 数理独自 023111996000265 TAKA/60/1A 1995

理系図3F 数理独自 068221191000345 TAKA/60/1 1991

芸工2階 072031197010194 410.9/Ta33 1996

筑紫図 067112000021651 410.9/Ta 33 1996

書誌詳細

一般注記 参考文献: p181-183. 索引: 巻末
著者標目 高橋, 正子 <タカハシ, マサコ>
件 名 NDLSH:数学基礎論
分 類 NDC8:410.9
NDC7:410.1
書誌ID 1001086225
ISBN 4764901846
NCID BN06616709
巻冊次 ISBN:4764901846 ; PRICE:3398円+税 ; XISBN:9784764901841
登録日 2009.09.17
更新日 2009.09.17

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています