Blank Cover Image
所蔵情報QRコード

証明論と計算量 / 竹内外史著

資料種別:
図書
出版情報:
東京 : 裳華房, 1995.11
形態:
vi, 205p ; 22cm
著者名:
竹内, 外史(1926-) <DA00113867>  
ISBN:
9784785310967 [4785310960]
書誌ID:
BN13445912
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 PとNP : 計算量の根本問題

竹内, 外史(1926-)

日本評論社
7 図書 証明論入門

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
2 図書 乱数生成と計算量理論

小柴, 健史

岩波書店
8 図書 証明論入門

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
3 図書 アルゴリズムと計算量

野崎, 昭弘(1936-)

共立出版
9 図書 計算量理論概説

足立, 暁生(1936-), 西野, 哲朗(1959-)

朝倉書店
4 図書 アルゴリズムと計算量 : lectures on computational complexity

谷, 聖一

サイエンス社
10 図書 構造的計算量理論

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

シュプリンガー・フェアラーク東京
5 図書 アルゴリズムと計算量入門

Wilf, Herbert S., 1931-, 西関, 隆夫(1947-), 高橋, 敬

総研出版
11 図書 計算量の理論

笠井, 琢美

近代科学社
6 図書 量子コンピュータ : 超並列計算のからくり

竹内, 繁樹(1968-)

講談社
12 図書 計算理論と数理論理学 = Mathematics of logic and computation

田中, 一之

共立出版
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12