当前位置:首页 > 名称

大约有20,000项符合查询结果项。(搜索耗时:0.0187秒)

为您推荐: 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统

  • 汉语藏语同源字研究 语义比较法证明

    薛才德著2001 年出版167 页ISBN:7810582658

  • 中国机器翻译

    刘涌泉编著1984 年出版184 页ISBN:7214·1011

  • 内容英语:单据、证件、证明

    井升华主编2007 年出版238 页ISBN:7560061214

    本书主要介绍了各种单据、证件、证明类文件格式,并给出了例文。语篇内容丰富,可作为实用工具书使用。

  • 孤独机器

    (新西兰)史密斯等著;张倩译2005 年出版69 页ISBN:7807112557

    本套丛书以讲述故事方式,并配以相关练习来提高阅读者英语水平,是适合儿童学习英语良好读物。

  • 智慧定理

    李剑桥主编2007 年出版140 页ISBN:7807117087

    在人类智慧宝库里,奇珍异宝到处可见。在无数科学、艺术、文化瑰宝之中,散布着颗颗晶莹珍珠,它们像长空中闪烁群星为夜色添美一样,点缀着这座智慧殿堂,这些珍珠就是名人留下妙语箴言。 本书摘取旨意深....

  • 面向机器翻译汉蒙短语转换规则研究

    巴达玛敖德斯尔著2005 年出版129 页ISBN:7531162083

    本书在借鉴传统蒙古语语法研究成果基础上,面向汉蒙机器翻译实际需要,尝试以形式化方式对汉语短语蒙古语转换规则进行描述,探讨有关短语转换方面语法和翻译问题,提出了解决问题方法。...

  • 西方经典随感诗 我无法证明岁月有脚

    (英)威廉·布莱克等著;查良铮等译2013 年出版169 页ISBN:9787513533911

    本书共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人经典随感诗近40首,情感澎湃,文字隽永,带给读者艺术享受和生活思考。全书中英对照,选取经典...

  • 面向机器翻译汉英句类及句式转换

    张克亮著2007 年出版265 页ISBN:9787810915861

    本书介绍面向机器翻译汉英句类及句式转换研究,是基于HNC理论汉英机器翻译引擎研究计划一个重要组成部分。本书适用于语言学、计算语言学、认知语言学、机器翻译等领域研究人员,也适合其他对计算机...

  • 面向汉英机器翻译语义块构成变换

    李颖,王侃,池毓焕著2009 年出版217 页ISBN:9787030227447

    本书内容属于机器翻译范畴,是在HNC(HierarchicalNetworksofConcepts)理论框架下对HNC机器翻译引擎原理中一部分--句蜕构成及汉英变换处理--进行研究,其目是为机器翻译提供理论与技术支持。本书对句蜕进...

  • 中国学生英译汉机器评分模型研究和构建

    江进林著2016 年出版177 页ISBN:9787040443165

    本书是关于大规模考试中英汉互译系统构建研究专著,主要针对自动评分系统在英汉互译评价中应用及其研制背景和理论基础进行介绍。该研究构建稳定、可靠中国学生英译汉自动评分模型,在人工评分标准、特征...

学科分类
返回顶部