退出
我的积分:
中文文献批量获取
外文文献批量获取
杨晓斌; 马新生;
上海财经大学应用数学系;
南昌大学数学系;
Gaines-Rescher的蕴涵算子; 亚模糊命题; 重言式;
机译:在自然对话中证明命题重言式
机译:命题演算中的重言式验证的计算算法
机译:在完整的命题逻辑中,直觉上的5/8经典重言式是有效的
机译:在一类基于残差的命题模糊逻辑中保留1重言式和0矛盾的范式
机译:作为重言式的教育:西北地区的差距,优惠政策措施和准备方案。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:建议是否有助于证明命题重言式?
机译:Nsestellensatz证明的Tseitin的重言式和下界
机译:引入模糊控制的怠速依赖的逆命题控制方法
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。