退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在继承者的Monadic二阶理论中的绝定
J. Richard Büchi; Lawrence H. Landweber;
机译:时间粒度理论与一个继任者的单子二阶理论之间的关系
机译:解释一名继承中的一个继承人的Monadic二阶理论
机译:Monadic二阶可定义图排序
机译:有限元半论系统的图表具有可判定的Monadic二阶理论
机译:二阶设定理论模型的结构
机译:Møller-Plesset二阶摄动理论和密度泛函理论在预测亚苯乙烯与芳族分子相互作用中的性能
机译:后继单子二阶理论中的可定义性
机译:弱的一元二阶继承理论不是基本的 - 递归的。
机译:使用二阶二阶逻辑的自动程序合成
机译:使用MONADIC二阶逻辑自动合成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。