【計(jì)】 temporal logic specification

暫時(shí)的英語(yǔ)翻譯：

for a while; for the moment; at this stage; temporarily; transitorily
【法】 pro tempore

邏輯的英語(yǔ)翻譯：

logic
【計(jì)】 logic
【經(jīng)】 logic

說明的英語(yǔ)翻譯：

explain; narrate; account for; illustrate; make out; say; show; specify; state
directions; explanation
【計(jì)】 DCL; declaration; elucidata; explanatory notes
【化】 specification; specify
【經(jīng)】 explanation; explanatory note; justification