proof finding program的意思|示意

美 / pru:f ˈfaindiŋ ˈprəuɡræm / 英 / pruf ˈfaɪndɪŋ ˈproˌɡræm /

证明寻找程序