广义归结证明树论文

基于广义归结的程序综合
论文摘要自动程序设计是计算机科学中的重要研究领域,在人工智能的自动规划、机器人学等分支有重要应用。在程序理论方面,程序综合与程序验证关系密切。程序综合就是从定理机器证明中抽取程...