理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- turn-based game
- Turnbull
- Turnbull estimator
- turnbull estimator
- Turnbull Report
- Turnbull's blue
- Turnbull估计
- Turner
- Turner interference filter
- Turner method
- Turner Revolt
- Turner syndrome
- turn flux
- turning
- turning and milling compound machining center
- turning angle
- Turning Car to the Distance
- turning force
- turning function
- turning gear
- turning machine
- turning-milling composite machine tool
- turning moment
- turning point
- turning-point problem