搜索筛选:
搜索耗时0.8433秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[学位论文] 作者：黄洪涛,
来源：吉林大学 年份：2004
逻辑程序始于上世纪70年代初，来源于定理机器证明与人工智能的研究。在逻辑程序30年的发展中，它已经成为了人工智能领域中重要的一个方向，在众多人工智能领域展示着它的价值。逻......
相关搜索：
