Mendeley出力
コンピュータ ニヨル テイリ ノ ショウメイ
コンピュータによる定理の証明 / Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
(コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27)
| データ種別 | 図書 |
|---|---|
| 著者標目 | Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939- 長尾, 真(1936-) <ナガオ, マコト> 辻井, 潤一(1949-) <ツジイ, ジュンイチ> |
| 出版者 | 東京 : 日本コンピュータ協会 |
| 出版年 | 1983.9 |