理学 程序正确性 释 assertion 断言 通常指系统状态需要满足的谓词（常表示为谓词公式）。
assertion 断定
assertion 论断†，断言,断定
人工智能 自动推理 释文 assertion 断言
- heterosquare
- heterostracans
- heterostrobe
- heterostructure
- heterostructure device
- heterostructure pn junction LED
- heterostyly
- heterothallism
- heterothermy
- heterotic string
- Heterotic string and M theory
- heterotic superstring theory
- heterotopia
- heterotopias
- heterotopic
- heterotopic pancreas
- heterotopy
- heterotroph
- hetero trophic aquaculture system
- heterotrophic plant
- heterotrophic succession
- heterotrophy
- heterotropic parasitism
- hetero typical fibres
- heterotypical identity