科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
夏国军;
南开大学哲学系;
语言逻辑; 形式化; 自然语言; 人工语言;
机译:作为微积分的逻辑与作为语言的逻辑,作为微积分的语言与作为通用介质的语言,以及语法与语义
机译:概率,逻辑与学习综合:形式化预测概念
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:从视频到语言 - 通过逻辑与逻辑与结论的迂回
机译:通用约束语言的形式化和实现,以实现带字的计算。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:语言学的逻辑与形式化
机译:计算科学。多核系统管理的形式化规范和原型语言。
机译:通过交互并将非正规源语言自动形式化为正规源语言,将机器翻译成目标语言
机译:根据形式化自然语言处理语言数据的方法,设备,计算机程序和计算机程序产品
机译:根据形式化自然语言处理语言数据的方法,装置,计算机程序和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。