人工智能 自动推理 释文 resolution semantic tree 归结语义树
- decidable problem
- decidable property
- decidable relation
- decidable set
- decidable system
- decidable theory
- Deciding Alone
- decidua
- decidual cell
- deciduous broad-leaved forest
- deciduous forest
- deciduous fruit tree
- deciduous leaf
- deciduous placenta
- deciduous teeth
- decile
- decillion
- decilog
- decim
- decimal
- decimal approximation
- decimal arithmetic
- decimal-binary
- decimal-binary conversion
- decimal carry