※一部利用できない機能があります
コンピュータによる定理の証明
- 資料区分:
- 図書
- 責任表示:
- Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
- 言語:
- 日本語
- 出版情報:
- 東京 : 日本コンピュータ協会, 1983.9
- 形態:
- xii, 346p ; 22cm
- 著者名:
- シリーズ名:
- コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27 <BN00058946>
- 書誌ID:
- BN00844314
類似資料:
Academic Press |
サイエンス社 |
岩波書店 |
講談社 |
共立出版 |
ダイヤモンド社 |
電気書院 |
裳華房 |
岩波書店 |
東京大学出版会 |
講談社 |
講談社 |