Blank Cover Image
QRコード(所蔵情報)

証明論と計算量

フォーマット:
図書
責任表示:
竹内外史著
言語:
日本語
出版情報:
東京 : 裳華房, 1995.11
形態:
vi, 205p ; 22cm
著者名:
竹内, 外史(1926-) <DA00113867>  
書誌ID:
BN13445912
ISBN:
9784785310967 [4785310960]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

竹内, 外史(1926-)

日本評論社
7 図書 構造的計算量理論

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

シュプリンガー・フェアラーク東京
2 図書 乱数生成と計算量理論

小柴, 健史

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

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

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

野崎, 昭弘(1936-)

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

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

共立出版
4 図書 量子コンピュータ : 超並列計算のからくり

竹内, 繁樹(1968-)

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

田中, 一之

共立出版
5 図書 計算量の理論

笠井, 琢美

近代科学社
11 図書 計算理論とオートマトン言語理論 : コンピュータの原理を明かす/ 丸岡章著

丸岡, 章

サイエンス社
6 図書 計算量理論概説

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

朝倉書店
12 図書 計算理論とオートマトン言語理論 : コンピュータの原理を明かす

丸岡, 章

サイエンス社