AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Monadic Pseudo Be-Algebras
Lavinia Corina Ciungu;
机译:伪BE-代数上的状态
机译:BE代数的伪值
机译:Monadic伪BCI-代数和相应的逻辑
机译:伪BE-代数中的模糊同余关系的一些结果
机译:单子直觉和模态逻辑承认可证明性
机译:BE-代数的新概括
机译:具有任意monadic谓词的一元二阶逻辑
机译:使用二阶二阶逻辑的自动程序合成
机译:使用MONADIC二阶逻辑自动合成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。