1.
Knowledge Representation and Reasoning Based on Computability Logic
基于可计算性逻辑的知识表示与推理
2.
Conversation as Computation--from Recognition and Logic
会话交流的可计算性:从认知、逻辑的观点看
3.
calculator with arithmetic logic
带有算术逻辑的计算器
4.
arithmetic logic of pocket calculator
袖珍计算机的算术逻辑
5.
logic computer aided design
逻辑的计算机辅助设计
6.
Testable Design and Testing for the OR-Coincidence Logic System;
或—符合逻辑系统的可测性设计与测试
7.
The Design and Application of Graph Derived Calculation Logic System;
可视化图形驱动的计算逻辑系统的设计与实现
8.
Proposition relativity and logic calculation in probabilistic logic;
概率逻辑中的命题相关性与逻辑运算
9.
algebraic logic of pocket calculator
袖珍计算机的代数逻辑
10.
culator with algebraic logic
带有代数逻辑的计算器
11.
logic-controlled sequential computer
逻辑控制时序计算机
12.
The Asymmetrical Algorithm Space Reconfigurable Logic Technology Research and the SoC Design;
非对称算法空间可重组逻辑研究与SoC设计
13.
The Reconfigurable Logic Research and the SOC Design in the Space of Symmetric Algorithms;
对称算法空间的可重组逻辑研究与SOC设计
14.
Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
基于条件谓词逻辑的可信计算形式化分析
15.
This method is of well knit structure and strong logic, and it can be practised on microcomputers.
本算法逻辑性强、构紧凑，可在微机上实现。
16.
Research and Full Custom Design of High Performance Arithmetic and Logical Unit;
高性能算术逻辑部件研究与全定制设计
17.
Model Checking Based on Spatial Logic and CTL
基于空间逻辑和计算树逻辑的模型检测
18.
Design of Visible Workflow Process Logic Model and Its Sound
可视化工作流过程逻辑模型设计及合理性研究