退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于解决方案和相关命题证明系统的自动化
Atserias Albert; Bonet Marı́a Luisa;
机译:解析和相关命题证明系统的自动化
机译:基于分辨率的命题证明系统中易处理性的限制
机译:决议逻辑,GENTZEN系统和文字树。
机译:标记的插值系统用于超分辨率从句和局部证明
机译:论分辨率的自动化与相关命题证明系统
机译:附属于抗震特性改进提案装置和修改提案
机译:命题设备,命题系统,命题方法和程序
机译:提议服务器,提议系统,提议方法,程序和非临时计算机可读信息记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。