退出
我的积分:
中文文献批量获取
外文文献批量获取
宋秀华;
湖北省巴东县第三高级中学;
全称量词; 存在量词; 直角三角形; 幂函数; 等于零; 常见题型; 自然数; 函数的图像;
机译:带有命题量词,量词消除和均匀克雷格插值的Δ核心模糊逻辑
机译:带命题量词,量词消除和均匀克雷格插值的Δ核心模糊逻辑
机译:公理为命题量词和标识扩展的模态系统S3-S5的指称语义
机译:命题逻辑中的量词消除软件
机译:存在的命题。
机译:是否存在拒绝否定命题的普遍回答策略?有关使用韵律和手势的类型学证据
机译:具有命题量词的颞型模态逻辑的道德法和良好
机译:在存在可空列的情况下,使用通用量词,集合交集和最大/最小聚合来优化SQL查询
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。