【図書】 コンピュータによる定理の証明
コンピュータ・サイエンス研究書シリーズ -- Ｃｈｉｎ－Ｌｉａｎｇ Ｃｈａｎｇ，Ｒｉｃｈａｒｄ Ｃｈａｒ－Ｔｕｎｇ Ｌｅｅ ／著, 長尾真，辻井潤一 ／訳, , , , -- 日本コンピュータ協会 -- １９８３．９ -- ２２ｃｍ -- ３４６ｐ
ページの先頭へ
所蔵は 1 件です。現在の予約件数は 0 件です。