programming logic proof的意思|示意
美 / ˈprəuɡræmiŋ ˈlɔdʒik pru:f /
英 / ˈproˌɡræmɪŋ ˈlɑdʒɪk pruf /
[计] 程序设计逻辑证明