理学 程序正确性 释 assertion 断言 通常指系统状态需要满足的谓词（常表示为谓词公式）。
assertion 断定
assertion 论断†，断言,断定
人工智能 自动推理 释文 assertion 断言
- contusion of spinal cord
- conuclear space
- conurbation
- conus
- conus density
- convallatoxin
- convallatoxin; corglykon
- convected acceleration
- convected coordinates
- convected force
- convected inertial force
- convected motion
- convected time rate of change
- convected velocity
- convection
- convectional
- convectional circulation
- convection cells
- convection current
- convection diffusion
- convection diffusion equation
- convection-diffusion equation
- convection drying
- convection electric field
- convection equations