您要查找的是不是:
- partial order temporal logic 偏序时序逻辑
- His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
- And temporal logic can be extended. 可以扩展时态逻辑。
- Temporal logic assertions are also useful for diagnosing such errors in the first place. 首先,时态逻辑断言对于诊断此类错误也是有用的。
- The little boy has got a brain of the first order. 这小孩有一个一流的头脑。
- She was a snob of the first order. 她是天字第一号势利鬼。
- Your first order is quite small. 贵公司的首批订货辆太少。
- Then we ll take a look at a tool for processing temporal logic assertions. 然后,我们将研究用于处理时态逻辑断言的工具。
- We expect payment in advance on first order. 我们希望第一次订货要求预付货款。
- Anthony Galton, Temporal Logic in the Stanford Encyclopedia of Philosophy. 这是与逻辑学相关的小作品。你可以透过编辑或修订扩充其内容。
- It is a diamond of the first order. 这是一颗上等钻石。
- I got my first order delivered from dangdang.com. 看我够好说话的吧。
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题,一般可以通过三个步骤完成,首先去掉逻辑式中的连接词;
- In this article, we will only consider the temporal logic that models the future as a linear sequence of events. 在本文中,我们将只考虑把未来当作为事件的线性序列模型的时态逻辑。
- We can also extend the language of temporal logic to include quantifiers over collections of values in databases. 我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。
- So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult. 因此,在本例中,您可以根本不用时态逻辑断言就能完成任务,但会困难得多。
- We can extend to you a special first order discount of 2%. 你是第一次订货,我们可以特地给你打2%25的折扣。
- Temporal logic is a formalism used to describe how a program state will change with time. 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
- Finish the first order, the sales contract come into effect. 签定第一个合同,并执行完毕后,代理协议生效。
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。