专题首页
中图分类法(15)
数理科学和化学(1)
医药、卫生(3)
农业科学(2)
工业技术(9)
在“
CNKI学位论文
”中，
命中：
15
条，耗时：小于0.01 秒
1.
若干逻辑自动推理方法研究
作者：
郭远华
关键词：
定理证明
;
自动推理
;
子句搜索方法
;
一阶逻辑
;
格值逻辑
;
tableau方法
;
试探方法
;
自然推理方法
;
可读证明
论文级别：
博士
学位年度：2010
2.
67LR介导的EGCG，YIGSR对前列腺癌细胞PC-3细胞毒性的影响及其分子机制
作者：
张岚翠
关键词：
前列腺癌
;
锌离子
;
镉离子
;
EGCG
;
YIGSR
;
67LR
论文级别：
博士
学位年度：2009
3.
逻辑动漫平台元件的设计与实现
作者：
王培
关键词：
动态几何
;
逻辑动画
;
元件
论文级别：
硕士
学位年度：2008
4.
基于计算机代数的程序验证
作者：
张志海
关键词：
程序验证
;
终止性
;
线性程序
;
不变量
;
计算机代数
论文级别：
博士
学位年度：2011
5.
不同取代度乙酰化儿茶素的合成及应用研究
作者：
白艳
关键词：
儿茶素
;
乙酰化
;
生物活性
;
溶解性
;
应用
论文级别：
硕士
学位年度：2012
6.
平面几何图形自动识别研究
作者：
于文涛
关键词：
Hough变换
;
几何元素
;
动态几何
;
图形识别
论文级别：
硕士
学位年度：2011
7.
基于硼掺杂金刚石和新型纳米复合材料的电化学生物传感器研究
作者：
吴婧
关键词：
生物传感器
;
硼掺杂的金刚石(BDD)电极
;
纳米材料
论文级别：
博士
学位年度：2005
8.
基于动态几何的平面几何资源库的设计与实现
作者：
郭远华
关键词：
教学资源库
;
动态几何
;
检索
论文级别：
硕士
学位年度：2006
9.
超级画板作图效率研究
作者：
饶永生
关键词：
超级画板
;
作图效率
;
动态几何
;
跟踪
;
迭代
论文级别：
硕士
学位年度：2009
10.
茶多酚对淀粉消化的影响研究
作者：
阮妙芸
关键词：
血糖反应
;
血糖反应曲线
;
茶多酚
;
a-淀粉酶
;
葡萄糖苷酶
;
淀粉消化
;
慢消化淀粉
;
食物血糖生成指数
论文级别：
硕士
学位年度：2009
1
2
按检索点细分(15)
作者(2)
引文(13)
按论文级别细分(15)
博士(4)
硕士(11)
按学位年度细分(15)
2005年(2)
2006年(2)
2008年(2)
2009年(3)
2010年(3)
2011年(2)
2012年(1)