>> Amazon.co.jp
このページのQRコード

証明論と計算量

種類:
図書
責任表示:
竹内外史著
出版情報:
東京 : 裳華房, 1995.11
著者名:
竹内, 外史(1926-) <DA00113867>  
ISBN:
9784785310967 [4785310960]  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 PとNP : 計算量の根本問題

竹内, 外史(1926-)

日本評論社
7 図書 計算理論とオートマトン言語理論 : コンピュータの原理を明かす

丸岡, 章

サイエンス社
2 図書 アルゴリズムと計算量

野崎, 昭弘(1936-)

共立出版
8 図書 オートマトン言語理論計算論

Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942-, 野崎, 昭弘(1936-)

サイエンス社
3 図書 計算量の理論

笠井, 琢美

近代科学社
9 図書 計算の理論

笠井, 琢美, 戸田, 誠之助

共立出版
4 図書 構造的計算量理論

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

シュプリンガー・フェアラーク東京
10 図書 証明論入門 : 数学基礎論改題

竹内外史,八杉満利子

共立出版
5 電子ブック 量子コンピュータ : 超並列計算のからくり

竹内, 繁樹(1968-)

講談社
11 図書 計算可能性の理論

Sipser, Michael, 阿部, 正幸, 植田, 広樹, 藤岡, 淳, 渡辺, 治(1958-), 太田, 和夫(1954-), 田中, 圭介(1969-)

共立出版
6 図書 証明論入門

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

共立出版
12 図書 計算理論の基礎

Sipser, Michael, 渡辺, 治(1958-), 太田, 和夫(1954-), 阿部,正幸

共立出版