名詞：CEGAR

看板NTUEE_VAL作者im37 (53719)時間15年前 (2010/06/07 23:29)推噓1(1推 0噓 0→)

留言1則, 1人參與討論串1/1

應該是說這篇 http://www.springerlink.com/content/d833527r467g7261/ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.42.245

推

06/08 00:15, , 1^F

06/08 00:15, 1^F

‣ 返回看板[ NTUEE_VAL ] 電機

‣ 更多 im37 的文章

文章代碼(AID): #1C3H1iAW (NTUEE_VAL)