*自动推理——见推理:自动推理 automated reasoning — see reasoning: automated
上一页人工智能 artificial intelligence (Selmer Bringsjord and Naveen Sundar Govindarajulu)下一页*信念的形式化表述——见信念的形式化表述 belief representation — see belief, formal representations of
最后更新于
最后更新于
道长哲学研讨会 2024