コンピュータによる定理の証明
- フォーマット:
- 図書
- 責任表示:
- Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
- 言語:
- 日本語
- 出版情報:
- 東京 : 日本コンピュータ協会, 1983.9
- 形態:
- xii, 346p ; 22cm
- 著者名:
- シリーズ名:
- コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27 <BN00058946>
- 書誌ID:
- BN00844314
類似資料:
昭晃堂 |
森北出版 |
Academic Press |
共立出版 |
岩波書店 |
マグロウヒル出版 |
オーム社 |
オーム社 |
産業図書 | |
東京大学出版会 |
森北出版 |