CS兄有心啦,我們前一段在談Goedel的不完備定理,或者羅素的Type theory在cs裏怎麽應用的,您感興趣嗎?
來源:
露重煙微
於
2024-11-03 18:34:00
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次