退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有非确定性语义的模态逻辑:第二部分量化案例
Marcelo E Coniglio; Luis Fariñasdelcerro; Newton Marques Peron;
机译:联想替代语义与量化模态逻辑
机译:联想替代语义和量化模态逻辑
机译:勘误表和附录“某些模态系统的有限非确定性语义”
机译:MAT逻辑:时间×模态逻辑,具有非确定性运营商,可处理通信技术中的交互式系统
机译:模态逻辑的概率语义
机译:量子态的非确定性语义
机译:具有非确定性语义的模态逻辑:第I部分 - 命题案例
机译:语义管理方法,用于在应用程序执行过程中记录或重播不确定性操作
机译:在应用过程中进行状态化管理,报告或拒绝确定性操作的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。