人工智能 自动推理 释文 Knuth-Bendix completion 克努特-本迪克斯完备化
- set constraint
- set contraction
- set contraction mapping
- set cover
- set cover algorithm
- set-covering deployment
- set-covering problem
- set decoration for film
- set dense in itself
- set difference
- set direct product
- Setebos
- set-element relation
- set equivalent by dissection
- set extention
- set field
- set fixed elementwise
- set function
- set functor
- set gauge
- Seth Carlo Chandler
- sethoxydim
- SETI
- setiger
- setiger juvenile