証明論と計算量
- フォーマット:
- 図書
- 責任表示:
- 竹内外史著
- 言語:
- 日本語
- 出版情報:
- 東京 : 裳華房, 1995.11
- 形態:
- vi, 205p ; 22cm
- 著者名:
- 竹内, 外史(1926-) <DA00113867>
- 書誌ID:
- BN13445912
- ISBN:
- 9784785310967 [4785310960]
類似資料:
日本評論社 |
講談社 |
岩波書店 |
朝倉書店 |
共立出版 |
近代科学社 |
オーム社 |
サイエンス社 |
総研出版 |
共立出版 |
講談社 |
サイエンス社 |