ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
検索結果一覧:(本学所蔵)
> 計算論 : 計算可能性とラムダ計算
書誌詳細
NCID
BN06616709
タイトル
計算論 : 計算可能性とラムダ計算 / 高橋正子著||ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン
出版者
東京 : 近代科学社 , 1991.8
形態
iv, 191p ; 22cm
注記
参考文献: p181-183. 索引: 巻末
シリーズ名
コンピュータサイエンス大学講座
; 24
分類
NDC8:410.9
NDC7:410.1
件名
NDLSH:数学基礎論
著者情報
高橋, 正子
(タカハシ, マサコ)
和洋区分
和
標題言語
日本語
本文言語
日本語
出版国
日本
ISBN
4764901846
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約
予約人数
所在
請求記号
資料ID
状態
備考
1
0
図書館(閲覧室)
410.9:Ta
207002292
利用可
0
図書館(書庫)
410.9:Ta
206006980
利用可
0
教養共4F哲学
410.9:Ta
020018011
研究室
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성