1.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
2.
Assembly Pointer Logic:Design and Implementation
一种汇编语言指针逻辑的设计与实现
3.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
4.
A New Property Verification Method for Code Security Based on Pointer Logic
一种基于指针逻辑的代码安全属性分析方法
5.
Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)
6.
command receiver selected logic
指令接收机选择逻辑
7.
(of an argument,etc)presented in a logical way
(指论据等)合乎逻辑的
8.
IIL instruction set
集成注入逻辑指令组
9.
Specify the minimum and/or maximum number of logical reads.
指定最小和/或最大的逻辑读取数。
10.
You have to specify both the logical file name and the new physical path.
必须指定逻辑文件名和新物理路径。
11.
is a logical value that determines the form of the probability distribution returned
为逻辑值,指定概率分布的返回形式。
12.
is a logical value: for the cumulative Poisson probability, use TRUE; for the Poisson probability mass function, use FALSE
逻辑值,指定概率分布的返回形式
13.
PLATO (Programmed Logic for Automatic Operations)
自动指导操作程序设计逻辑
14.
The boolean data type is used to specify a true or false value.
逻辑数据类型用于指定值的真或假。
15.
The Logical Structure of Air Combat Control Decision based on BDOTI;
BDOTI结构空战指挥控制决策的逻辑框架
16.
A Literary Discussion on Zhang Wei-ying s Logic of a University;
张维迎《大学的逻辑》中的文史瑕疵指正
17.
The guides of Solving problems of chinest course and expanding studeuts Logical think;
化学解题指导与发展学生的逻辑思维
18.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题