关于知识推理的逻辑

Logic for reasoning about knowledge

Decision Support Systems · 1987
被引 3
ABS 3
逻辑学计算机科学知识表示与推理
阅读原文 ↗