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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。