基于求解状态的递归程序设计公式化方法? 张德同,周明全? (西北大学 计算机科学系，陕西 西安 710069)  全文: PDF   摘要： 关键词： 递归；程序设计；公式化方法；求解状态? 发表年限: 2002年 发表期号: 第5期