作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

集合论等式型定理机器证明系统的研究与开发  CNKI文献

定理机器证明的研究已有将近50年的历史,并已经在数理逻辑、初等代数和几何学等学科取得显著成功。关于集合论的定理机器证明研究,有关文献报道用布尔代数的方法可以把集合论的定理证明问题转化为代数问题,但是这类问...

汤晓凌 导师:曾振柄 华东师范大学 2005-10-01 硕士论文

关键词: 人工智能 / 定理机器证明 / 数学机械化 / 集合论

下载(137)| 被引(0)

集合论等式型定理机器证明系统的研究与开发  CNKI文献

集合论定理机器证明,至今在国内外尚无相关研究。虽然集合论在数学领域中所处的基础地位显得在这一领域实现机械化极其重要,但是多年来尚无进展。到目前为止,还没有发现能产生可读证明的系统。通过对人工智能搜索算法...

汤晓凌 《计算机工程与设计》 2006年22期 期刊

关键词: 智能模拟机械化 / 人工智能 / 定理机器证明 / 集合论

下载(91)| 被引(2)

一例16号染色体短臂部分三体报告  CNKI文献

E组染色体异常很少见,目前国外仅有很少报道国内文献还未见报道。我室发现1例,现报道如下。患儿,男,7岁。系第1胎,足月顺产。患儿目前只能简单喊爸,妈,吃饭不知饱足,大小便不能自理。

汤晓凌 陈清英... 《遗传与疾病》 1990年02期 期刊

关键词: 染色体

下载(40)| 被引(0)

46,XX,t(7;9)伴习惯性流产一例  CNKI文献

46,XX,t(7;9)伴习惯性流产一例汤晓凌,胡名烈,张晓玲患者女,29岁。表型和智力正常,身体健康。结婚两次,共孕3胎,均于妊娠近3个月时自然流产。家中父、母健在,患者有两个姐姐和两个哥哥均已结婚...

汤晓凌 胡名烈... 《中华医学遗传学杂志》 1995年04期 期刊

关键词: 习惯性流产 / 整臂易位 / 染色体异常

下载(19)| 被引(0)

一例 inv(8)(p11q24)伴原发性癫痫  CNKI文献

一例inv(8)(p11q24)伴原发性癫痫汤晓凌孙鸿张晓玲患儿女,5岁,出生后6个月发病,全身抽搐,口吐白沫。体格检查:智力及发育正常,双手10指纹理正常,atd角右手35°,左手37°,外...

汤晓凌 孙鸿... 《中华医学遗传学杂志》 1997年03期 期刊

关键词: 原发性癫痫 / p11q24 / inv

下载(10)| 被引(0)

皮肤T细胞淋巴瘤外周血淋巴细胞免疫表型的变化及其意义  CNKI文献

目的探讨外周血淋巴细胞免疫表型分析在皮肤T细胞淋巴瘤中的应用价值。方法采用流式细胞术检测52例确诊皮肤疾病患者[包括31例皮肤T细胞淋巴瘤(恶性皮肤病组)、21例炎症性皮肤病(良性皮肤病组)]外周血淋巴细胞免疫表型...

由然 龚岩... 《检验医学》 2016年03期 期刊

关键词: 皮肤T细胞淋巴瘤 / 淋巴细胞 / 免疫表型

下载(225)| 被引(5)

雀舌栀子的组织培养  CNKI文献

植物名称:雀舌栀子(Gardenia augusta var.radicans) 材料类别:茎尖及嫩茎。培养条件:诱芽培养基:(1)MS+NAA0.1mg/L(单位下同)+BA1;(2)MS+NAA0.2+

吴斌 汤晓凌... 《植物生理学通讯》 1990年03期 期刊

关键词: 雀舌栀子 / 组织培养

下载(41)| 被引(0)

冷球蛋白血症与肾小球肾炎:对187例患者的回顾分析  CNKI文献

目的:对冷球蛋白血症性肾病以往的研究较少,仅基于进行丙型肝炎病毒感染检查时进行的研究,目前仅有少量HCV阴性的冷球蛋白血症性肾病的报道。丙型肝炎病毒阴性的冷球蛋白血症在肾小球肾炎发病中的作用机制依然是未知的...

苗林子 屈晨雪... 第一次全国中西医结合检验医学学术会议暨中国中西医结合学会... 2014-06-12 中国会议

关键词: 原发性肾小球肾炎 / 冷球蛋白 / 冷球蛋白血症性肾病。

下载(138)| 被引(2)

8号染色体倒位小儿癫痫1例  CNKI文献

患儿,女,5岁,出生后6月即发病,全身抽搐,口吐白沫。体格检查:智力及身体发育正常,双手10指纹理正常,aid角左手35°,右手37°,外生殖器及四肢未见异常,心、肺、肝、脾正常。父母非近亲结婚,否认癫痫病家族史,母...

汤晓凌 郭正镕 ’96全国优生科学大会大会学术讲演与大会论文摘要汇编 1996-11-01 中国会议

关键词: 小儿癫痫 / 染色体倒位

下载(17)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状