人工智能 自动推理 释文 instance-based theorem proving 基于实例的定理证明
- critical blowdown ratio
- critical book review
- critical bound
- critical branching process
- Critical Care Medicine，Intensive Care Medicine
- critical case
- critical cavitation
- Critical chain
- Critical Chain Method
- critical charge radius
- critical coagulation concentration
- critical coefficient
- critical concentration
- critical concentration of plant nutrients
- critical condition
- critical constant
- critical cultural theory
- critical current
- critical current of type two superconductor
- critical damping
- critical [damping] resistance
- critical damping resistance
- critical degree of saturation
- critical density
- critical density of the universe