temporal logic

常见例句

He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic.
他使用包括一組基於時間邏輯的分等級語言的工具建立了若乾軟件開發環境。
An Academy member, Professor Tang is well known for his work in temporal logic and perhaps best known for a set of tools he developed, known as the XYZ tools.
作爲一名院士，唐教授以其對時間邏輯的研究著稱，而他最廣爲人知的工作也許是他開發的一組工具，稱爲XYZ工具。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用來實現這一轉化過程的工具是線性時序邏輯，一種可以表達過去和未來的詳細約束的數理邏輯系統。