formal inference 形式推理 formal reasoning 形式推理
人工智能 自动推理 释文 formal reasoning 形式推理
- lithium perchlorate
- lithium phosphorous oxynitride
- lithium poor star
- lithium rich star
- lithium star
- lithium storage battery
- lithium-storage material
- lithium sulfur battery
- lithium-sulfur battery
- lithium-sulfur dioxide battery
- lithium/sulfurous acyl chloride cell
- lithium tantalate crystal
- lithium tetrahydroaluminate
- lithium-thionyl chloride battery
- lithium thionyl chloride cell
- lithium-thionyl chloride cell
- lithium titanate
- lithium titanate,lithium titanium oxide
- Lithocarpus Evergreen Broadleaf Forest Alliance Group
- lithocon
- lithocyst
- lithodemic units
- lithofacies palaeogeography
- lithofacies paleogeography map
- lithofacies types of coal measures