知识的变化相关硕士博士期刊学术论文

对于现代逻辑研究来说，理论计算机科学以及人工智能曾经并且正在为它提供的理论动机，在数量和范围上，已经远远超越了数学曾经和能够为......