一階動(dòng)態(tài)邏輯
英語(yǔ)翻譯
【計(jì)】 first-order dynamic logic
分詞翻譯
一階的英語(yǔ)翻譯:
【計(jì)】 first order動(dòng)態(tài)的英語(yǔ)翻譯:
dynamic; dynamic state; trends【經(jīng)】 movement
邏輯的英語(yǔ)翻譯:
logic【計(jì)】 logic
【經(jīng)】 logic
【計(jì)】 first-order dynamic logic