人工智能 自动推理 释文 unit resolution 单元归结
- infinite-quantifier
- infinite rank
- infinite region
- infinite representation type
- infinite ring
- infinite sequence
- infinite series
- infinite set
- infinitesimal
- infinitesimal analysis
- infinitesimal automorphism
- infinitesimal bending
- infinitesimal birth rate
- infinitesimal calculus
- infinitesimal canonical transformation
- infinitesimal character
- infinitesimal chart
- infinitesimal circle
- infinitesimal condition
- infinitesimal connection
- infinitesimal death rate
- infinitesimal deformation
- infinitesimal displacement
- infinitesimal disturbance
- infinitesimal element