1) logic assignment
指配逻辑
2) logical indexes
逻辑指标
3) pointer logic
指针逻辑
1.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
2.
In terms of the authors sketch of design and verification of safety programs,a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统。
3.
On the basis of our framework for the design and verification of safe program,and the PointerC pointer logic,this paper mainly introduces our research on an assembly pointer logic system for the assembly pointer programs.
根据已经提出的安全程序设计与证明的框架以及PointerC指针逻辑,提出一种汇编语言指针逻辑。
4) logic display
逻辑指示
5) instruction logic
指令逻辑
6) Luoji Zhiyao
《逻辑指要》
补充资料：指配
1.指定许配。 2.分配。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条