另外CMU的逻辑学也是全美顶尖，这和CS的verification系统的研究也是高度相关的。

来源: whaled 于 2025-09-05 08:50:48 [旧帖] [给我悄悄话] 本文已被阅读：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.