退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:代数多项式系统的抽象解释(扩展摘要)
Patrick Cousot; Radhia Cousot;
机译:使用抽象解释自动生成有界多项式不变量
机译:抽象 - 代数解释节能不确定性关系证明时间量化
机译:与抽象代数链接的量表的解释
机译:摘要代数多项式系统解释
机译:嵌套关系代数中的抽象数据类型和扩展域操作。
机译:Java灵活抽象解释的类型和效果系统(扩展抽象)
机译:(摘要)最终伽利略推进系统飞行中表征(扩展摘要)
机译:具有同余抽象域和/或堆继承抽象域的抽象解释
机译:录入系统,摘要词典编辑屏幕,摘要词典的注册方法,摘要词典,程序和存储介质的编辑方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。