退出
我的积分:
中文文献批量获取
外文文献批量获取
唐晓阳; 蔡爱国;
江南大学人文学院;
语义真值; 谓词逻辑; 函数;
机译:中间谓词逻辑的语义不完整,I。Kripke的语义
机译:计算机科学学生经典一阶谓词逻辑教学中的游戏语义学
机译:拟谓词逻辑中T后果关系的语义性质
机译:在中文事件提取中运用成分语义和语篇一致性
机译:从英语到法语的被动语态翻译中运用语义和语用信息确定句法决策
机译:失语症个体在语篇中的语义知识运用
机译:真理条件语义在语义词典定义中的应用将真值条件语义应用于语义词典中定义的写作
机译:更新动态谓词逻辑的语义
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:运用语言语义和编码图的音频交换方法和系统
机译:运用形态学和语义分析技术对韩国流行音乐进行教育的韩国流行测量系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。