Automatic Theorem Proving Prize获得者中的华人

cryogenics

https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=5
2 T7 r6 w3 Q. \7 b& U
  h5 S( H; {0 c8 F$ V, {+ E4 y
王浩（1983年获奖，Milestone Prize获得者）
( d1 y) O9 t: L" s7 K: @' a8 c& l

cryogenics

王浩：西南联大数学系1943届本科，清华大学文科研究所哲学部1945届硕士（师从冯友兰、金岳霖等教授），哈佛大学1948届博士。美国人文与科学院院士。

cryogenics

此奖已停发