人工智能 自动推理 释文 instance-based theorem proving 基于实例的定理证明
- acceleration method
- acceleration model
- acceleration of following
- acceleration of gravity
- acceleration parameter
- acceleration period
- acceleration pressure drop
- acceleration pressure drop in two-phase flow
- Acceleration, Reconnection, Turbulence and Electrodynamics of the Moon's Interaction with the Sun
- acceleration sensor
- acceleration servo system
- acceleration telesthesia
- acceleration transducer
- acceleration wave
- accelerator
- accelerator complex
- accelerator driven subcritical clean energy system
- accelerator-driven subcritical clean energy system
- accelerator driven subcritical system
- accelerator-driven subcritical system
- accelerator-driven subcritical system (ADS)
- accelerator driven system subcritical experimental device
- accelerator inspection
- accelerator key
- accelerator magnet