Blank Cover Image
タイトル、所在を表示します

計算論

フォーマット:
図書
責任表示:
広瀬健著
言語:
日本語
出版情報:
東京 : 朝倉書店, 1975.1
形態:
vii, 194p ; 22cm
著者名:
広瀬, 健(1935-) <DA00250391>  
シリーズ名:
近代数学講座 / 小松勇作編集 ; 19 <BN01069835>
書誌ID:
BN01069813
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 計算機科学/ソフトウェア技術講座

広瀬, 健(1935-)

共立出版
7 図書 数学の方法 : 直観的イメージから数学的対象へ

広瀬, 健(1935-)

共立出版
2 図書 計算論

小林, 孝次郎(1939-)

コロナ社
8 図書 帰納的関数

広瀬, 健(1935-)

共立出版
3 図書 数学基礎論の応用

広瀬, 健(1935-)

日本評論社
9 図書 基礎数学 3

広瀬, 健(1935-)

放送大学教育振興会, 日本放送出版協会(発売)
4 図書 形式的モデルと意味論

Leeuwen, Jan van, 広瀬, 健(1935-)

丸善
10 図書 プログラミングによる計算可能性理論

Arbib, Michael A., 1940-, 甘利, 俊一(1936-), 金谷, 健一(1947-), 川端, 勉, Kfoury, A. J., Moll, Robert N.

サイエンス社
5 図書 情報数学

広瀬, 健(1935-)

コロナ社
11 図書 構造的計算量理論

Balcázar, José Luis, Díaz, Josep, 1950-, Gabarró, Joaquim, 足立, 暁生(1936-)

シュプリンガー・フェアラーク東京
6 図書 数学的帰納法

広瀬, 健(1935-)

教育出版
12 図書 アルゴリズムと計算量

野崎, 昭弘(1936-)

共立出版