コンピュータによる定理の証明 コンピュータ・サイエンス研究書シリーズ 貸出可
Ｃｈｉｎ－ Ｌｉａｎｇ Ｃｈａｎｇ， Ｒｉｃｈａｒｄ Ｃｈａｒ／著 -- 日本コンピュータ協会 -- 1983.09
所蔵は 1 件です。現在の予約件数は 0 件です。
ページの先頭へ
※内容紹介、著者紹介は（株）日販図書館サービスおよび（株）トーハンのデータです。