您要查找的是不是:
- The leave-wing group packed the general purpose committee with activist. 右派集团将他们的积极分子塞进一般目的委员会。
- Standard general purpose Bis-F epoxy resin. 标准普通双酚F型环氧树脂。
- This is a general purpose computer. 这是一台通用计算机。
- The Q is the general purpose trike in their range. 这个Q是一般用途的窍门及射程。
- General purpose cosmid vector derived from pBR322. 相关说明:vector for constructing cDNA libraries;
- Adult fish are general purpose carnivores. 成人鱼是一般用途食肉动物。
- In addition,it uses a simple example to illustrate the application of the rules in Isabelle theorem prover. 形式化规范和系统具体实现代码之间的一致性验证[1]。
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统:这就是说,它的语言综合了支持工具和一个定理证明器。
- Most of the machine tools we use are the general purpose machines. 我们使用的大部分机床是通用机床。
- Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions. Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。
- PC+polyester alloy, unreinforced ,General purpose, UV-Stabilized. PC(聚碳酸酯)+聚酯非增强型混合物,通用,紫外线稳定。
- Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof. 有时抽象本身可能是很大的工作量,以致定理证明程序可能花费过多时间和资源来完成证明。
- Study on General Purpose of Customized Embedded Operating System. 嵌入式操作系统定制的通用性研究。
- Purpose: General purpose and switching applications. 用途:用于一般放大和开关电路。
- An excellent, general purpose, low viscosity oil/water emulsion. 极佳的研磨效能,液体具有低粘性,具有亲油和亲水性质的乳状液。
- Property verification is carried out using theorem proving systems. 特性验证使用定理求证系统来实现。
- Applications:General Purpose Amplifier and Switching Applications. 主要用途:通用放大;开关应用.
- The method features good testability and smart and general purpose. 该方案具有可测试性强,灵活和通用的特点。
- A member of the Herbrand base is called atom in automatic theorem proving. 在自动定理证明中,海尔勃朗基的成员也称为原子。
- With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS. 应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。