circumscription reasoning

中文翻译

[计] 约束推理, 限定推理

最近更新

更新时间:2026-04-18 20:09:54