退出
我的积分:
中文文献批量获取
外文文献批量获取
何元建;
香港中文大学,香港,新界;
合成复合词; 逻辑形式; 普遍语法;
机译:连字符在复合词识别中的组成边界上的作用:有利于长复合词,不利于短复合词
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:复合词的经验影响他们的处理:用英语复合词语进行眼科运动调查
机译:汉语复合词的意义的构造形式和定义的难点程度
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:在一个形式的逻辑与实践的逻辑之间:教育知识的调解之间的一种形式的教育方法:一种形式的教育方法
机译:了解秘密叛乱分子和恐怖主义网络的形式,功能和逻辑:有效反网络运作的第一步。
机译:词和复合词分类处理方法,复合词提取方法,词和复合词分类处理器,语音识别系统,机器翻译设备,复合词提取设备以及词和复合词存储介质
机译:复合词生成装置,复合词生成方法和复合词生成程序
机译:逻辑合成器,逻辑合成方法和逻辑合成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。