Blank Cover Image

コンピュ-タによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳

資料形態:
図書
形態:
346p ; 22cm
出版情報:
東京 : 日本コンピュ-タ協会, 1983.9
シリーズ名:
コンピュ-タ・サイエンス研究書シリ-ズ ; 27 <BN00058946>
書誌ID:
BN00844314
子書誌情報
Loading
所蔵情報
Loading availability information
このページでは、島根県立大学e漢字フォント の漢字フォントを使用しました。