%0 Journal Article
%T 归纳程序综合系统ndips的设计
%A 徐家福？
%A 戴敏？
%A 王志坚？
%J 软件学报
%P 57-62
%D 1990
%X 本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统ndips的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19900107&flag=1