螺母 swMATH ID: 29714 软件作者： Tyugu E.、Matskin M.、Penjam J.、Eomois P。 描述： NUT中的约束。NUT是一个基于知识的编程系统，具有自动程序合成功能。该系统允许以OO方式指定计算问题。概念和对象可以在NUT中作为功能约束网络来处理。使用先前针对PRIZ系统描述的用于自动程序合成的算法来解决约束满足问题。 主页： https://link.springer.com/chapter/10.1007/978-3642-85983-0_13 相关软件： PRIZ公司 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 NUT中的约束。 Zbl 0941.68773号Jaan Penjam;恩恩·图古 1994 3位作者引用 2 Jaan Penjam 1 梅里斯特，梅里克 1 图古，Ènn Kharal'dovich 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文