中国开放科研知识云: 检索

笔式服装工艺设计系统的研究与实现 期刊论文
信息化纵横, 2009, 卷号: 28, 期号: 8, 页码: 13-16
刘俊中; 樊银亭; 金鹏; 张瑢; 滕东兴

收藏 | 浏览/下载：11/0 | 提交时间：2010/08/24

语义Web中的自动推理和主动规则终止性分析 学位论文
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
徐贵红

收藏 | 浏览/下载：16/0 | 提交时间：2011/03/17

回溯法求解多约束分配问题 期刊论文
江西师范大学学报（自然科学版）, 2008, 卷号: 32, 期号: 6, 页码: 729-732
王文发; 马燕; 李宏达

收藏 | 浏览/下载：54/4 | 提交时间：2011/06/10

基于约束满足的测试计划方法 期刊论文
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 535-539
李悦; 李娟; 陈伟

收藏 | 浏览/下载：6/0 | 提交时间：2011/06/10

基于约束求解的自动化软件测试研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
严俊

收藏 | 浏览/下载：7/0 | 提交时间：2011/03/17

约束问题求解 期刊论文
自动化学报, 2007, 卷号: 33, 期号: 2, 页码: 125-131
季晓慧; 张健

收藏 | 浏览/下载：6/0 | 提交时间：2010/08/11

基于手绘草图的概念设计工具研究与设计 期刊论文
计算机应用研究, 2007, 卷号: 24, 期号: 1, 页码: 210-212,228
张超; 滕东兴; 戴国忠

收藏 | 浏览/下载：9/0 | 提交时间：2010/06/01

基于几何约束求解的完备方法 期刊论文
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 7, 页码: 828-839
林强; 高小山; 刘媛媛; 陈颖; 戴国忠

收藏 | 浏览/下载：9/0 | 提交时间：2010/06/01

面向装备全寿命保障的约束规划框架 期刊论文
计算机工程与设计, 2006, 期号: 14, 页码: 2677-2679
张子丘; 郑宇军; 王侃

收藏 | 浏览/下载：9/0 | 提交时间：2011/07/13

基于约束的主动规则终止性分析 期刊论文
计算机研究与发展, 2006, 卷号: 43, 期号: 5, 页码: 894-900
徐贵红; 张健

收藏 | 浏览/下载：12/0 | 提交时间：2010/08/11

在结果中检索