コンピュータによる定理の証明 (1983年) (コンピュータ・サイエンス研究書シリーズ〈27〉)

  • 日本コンピュータ協会
5.00
  • (1)
  • (0)
  • (0)
  • (0)
  • (0)
本棚登録 : 3
レビュー : 1
  • Amazon.co.jp ・本 (346ページ)

感想・レビュー・書評

並び替え
表示形式
表示件数
絞り込み
選択した評価のレビューはありません。

著者プロフィール

公益財団法人国際高等研究所 京都大学元総長

「2017年 『〝もう一つの文明〟を構想する人々と語る日本の未来 自然と共に生きる豊かな社会』 で使われていた紹介文から引用しています。」

長尾真の作品

ツイートする