AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:图式指导的单子查询归纳
Champavère, Jérôme; Gilleron, Rémi; Lemay, Aurélien; Niehren, Joachim;
机译:使用模式指导的修剪策略进行查询归纳
机译:Monadic数据记录和常规树模式查询
机译:树上二元查询的枚举
机译:单子直觉和模态逻辑承认可证明性
机译:SCHEMA指导的蛋白重组的文库分析
机译:模式引导的monadic查询归纳
机译:注入查询组成的单子评估
机译:注射查询组成的单项评估
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。