退出
我的积分:
中文文献批量获取
外文文献批量获取
程仲棠;
暨南大学新闻与传播学院 广东广州,510632;
蕴涵怪论; 反例; 直觉; 析取错觉; 形式蕴涵;
机译:使用决策树和蕴涵反例学习不变式
机译:在独立生成树上证明蕴涵猜想的反例
机译:Hutchinson和赖猜想的反例[Hutchinson和赖猜想的反例]
机译:XL可充电碱性电池:进展和与基于NI的可充电的比较,包括兼容兼容兼容兼容兼容兼容兼容兼容兼兼容兼兼兼兼容兼兼容兼兼兼兼兼容兼兼容兼容充电的碱性收费 - (PPT)
机译:数字系统验证,通道编码和电神经界面设计的反例
机译:PNAS Plus:规模演算的反例
机译:使用决策树和蕴涵反例学习不变量
机译:L1自适应控制的实验验证:Rohrs在飞行中的反例
机译:反例分析支持设备,反例分析支持系统,反例分析支持方法和程序
机译:将有限的活动反例提升为具体的活动反例
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。