论文部分内容阅读
ESCER的求解机能
【机 构】
：
中国科学院数学研究所
【出 处】
：
中国第三届知识工程研讨会
【发表日期】
：
1990年期
其他文献
花生,是我县的主要经济作物,常年种植面积约10万亩左右,但由于多年重茬种植,土质瘠薄,病虫害严重,产量低而不稳,其面积逐年缩减,为了探索发展花生生产的路子,1990年以来,我
杂交稻制种“双四二”工程,是全省制种稳产高产经验的总结。其内容包括母本“四二”工程和父本“四二”工程。即母本秧田667平方米播种10千克(即20斤)、秧龄20天、单株带蘖
访寿光稷台诗社 大棚笼韵墨盈墙，一叶知春兴味长。 诗到寿光逢沃土，出泥犹带菜根香。 平乡过破釜沉舟处 战例由来说弃舟，坑降终古不王侯。 只因一役血光重，漳水直今犹断流。 题雾灵山大坡村农家院 峰影岚光绿到门，葡萄小院晚风薰。 杯盘新满农家味，短信回敲带酒温。 秋访云蒙山遇雨夜宿后山铺 雾失云山景不收，村回石路稼禾稠。 杂花巷口丝瓜雨，麻将声中后埔秋。 吐鲁番葡萄沟 雪是乳
KBS／TH－1是分布式知识库系统DKBS／TH－1中的一个结点上的知识库系统， 该系统以一阶谓词逻辑为知识表示方式，支持对知识的自然语言查询、对问题的逻辑推理求解，还提供了调试和管理知识
咏残荷 为谁付出为谁痴，落暮萧条叶卷池。 花褪红残春已走，相思满腹蕴柔丝。 咏桃花 桃花娇艳满庭开，蝶舞蜂飞采蜜来。 沉醉春风浑不觉，落红甘愿土中埋。 题胡迎建、熊东遨等几位老师坐在涅边照片 坐听泉声濯足流，清凉净地笑忘忧。 豪情不逊兰亭集，啸傲烟云任漫游。 诗缘 敲键临屏发浩歌，春风满袖舞婆娑。 群芳苑里偕琴韵，梅竹同心醉靥酡。 咏含笑花 娇容绽放笑含来，暗送秋波香满腮
初夏 几阵疏疏雨，新诗生翠斑。 南窗闲一卧，小梦绿如山。 借书 借书何所欲？只为一逢难。 藉此相言语，无须着意看。 春日舟行闲林湿地（五首录一） 琉璃瓦翠数株桑，一辦东风立海棠。 河埠谁家舀春水，壶中犹带橹声长。 西湖绝句十首（录一） 烟沉天影秋无力，雨跃湖光静有声。 行到西陵松柏下，依然水是眼波横。 偶作 疏烟蜜喜柳毵毵，十载春华诗酒酣。 今日偶醒无所事，莲花一朵看江
大年初一课孙读《儿童诵读绝句》 桃符粘腊尾，爆竹举春旗。 吾独翻新趣，携孙读古诗。 木兰祠 万里关山远，千秋闺梦长。 至今祠庙外，夜夜唤爷娘。 荷花淀遐思 袅袅婷婷出水时，游人争看玉娇姿。 荷花淀接芦花淀，开到芦花梦已痴。 夜访曲江 岸柳无言草自生，红楼斜矗水波横。 谪仙归去拾遗老，谁宏清音续正声？ 题美人松 立地擎天是此身，霜皮犹可画龙鳞。 沧桑未减英雄气，却被无端唤