从人工智能看当代逻辑学的发展

从人工智能看当代逻辑学的发展        [ 03-03-27 14:27:00 ]    作者：陈波    编辑：丢oO丢oO［摘要］ 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动