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

A=B : 等式証明とコンピュータ

種類:
図書
責任表示:
マーコ・ペトコブセク, ハーバート・S・ウィルフ, ドロン・ザイルバーガー著 ; 小林羑治, 伊藤尚史訳
出版情報:
東京 : トッパン, 1997.9
著者名:
シリーズ名:
A K ピータース・トッパン数理科学シリーズ ; 7 <BN09956725>
ISBN:
9784810189728 [4810189724]  CiNii Books  Calil
注記:
文献: p[199]-205
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 コンピュータサイエンス

Rice, John K., Rice, John Rischard, 細井, 勉(1937-), 佐藤, 雅彦(1947-), 関本, 年彦(1937-)

サイエンス社
7 図書 数学とコンピュータ

長岡, 亮介, 岡本, 久

放送大学教育振興会
2 図書 コンピュータ・アルゴリズム事典

奥村, 晴彦(1951-)

技術評論社
8 図書 数学とコンピュータ

森本, 光生(1942-), 長岡, 亮介

放送大学教育振興会
3 図書 コンピュータの思考法 : 計算モデル

有澤, 誠(1944-)

朝倉書店
9 図書 数学とコンピュータ

佐藤, 公作(1947-), 白石, 和夫, 高橋, 雅信

森北出版
4 図書 コンピュータ・アルゴリズム

小沢, 孝夫(1934-)

昭晃堂
10 図書 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ

照井, 一成(1971-)

青土社
5 図書 チューリングの計算理論入門 : チューリング・マシンからコンピュータへ

高岡, 詠子

講談社
11 図書 数学教育とコンピュータ

成嶋, 弘(1943-), Fey, James Taylor

東海大学出版会
6 図書 コンピュータのカオスをおさえる : 新しい「安定」計算術

白柳, 潔, NTTコミュニケーション科学基礎研究所

NTT出版
12 図書 数学教育とコンピュータ

Howson, A. G. (Albert Geoffrey), 1931-, Kahane, Jean-Pierre, 1926-, 日本数学教育学会, 植竹, 恒男(1926-), 飯島, 康之

聖文社