理学 程序正确性 释 assertion 断言 通常指系统状态需要满足的谓词（常表示为谓词公式）。
assertion 断定
assertion 论断†，断言,断定
人工智能 自动推理 释文 assertion 断言
- spatial relation
- spatial resolution
- spatial restructuring
- spatial retrieval
- spatial rotation
- spatial sampling
- spatial scale
- spatial scale effect
- spatial scenes query
- spatial school
- spatial section
- spatial secure layout for disaster prevention
- spatial segregation
- spatial self-focusing
- spatial semantic transform
- spatial separation
- spatial sequence
- spatial shape perception
- spatial shear wave
- spatial simulation
- spatial soil variation
- spatial soliton
- spatial spectrum
- spatial spherical function
- spatial spherical harmonic