AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于计算模糊传播问题和可行逻辑中有充分理论的语义
Ho-pun Lam; Guido Governatori;
机译:完善的语义下可废逻辑和逻辑程序之间的可定义性
机译:可行的逻辑基础完善的语义
机译:歧义传播不可行的逻辑和良好的语义
机译:对可靠且稳定的逻辑编程语义的研究。
机译:基因调控网络基于逻辑的模型中的歧义:集成的多扰动分析
机译:精心设计语义下的可行逻辑与逻辑程序的可互换性
机译:从语法树计算语义逻辑形式的方法和系统
机译:使用语义分类器解决语义歧义
机译:使用独立于语言的语义结构解决语义歧义
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。