formal inference 形式推理 formal reasoning 形式推理
人工智能 自动推理 释文 formal reasoning 形式推理
- group integration
- group intention
- group interation mode
- Group Intervention Police National
- group invariant
- group-invariant bifurcation theory
- group-inverse
- group involution
- group isomorphism
- group isomorphism theorem
- group kernel
- group law
- group learning
- group-level evaluation
- group-level item response theory
- group-like
- group-like element
- group-like space
- group living
- group lower central series
- group management
- group manifold
- group marriage
- group mean
- group mean latitude