退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:分层定义的术语重写系统的自动增量终止证明
Xavier Urbain;
机译:通过术语重写为Haskell提供自动终止证明
机译:通过术语重写自动完成逻辑程序的终止证明
机译:带有唯一范式的自动证明术语重写系统的转换
机译:多项式证明系统,有效导数及其在平方和层次结构中的应用。
机译:重写和抑制UMLS术语以改善生物医学术语识别
机译:通过术语重写实现逻辑程序的自动终止证明
机译:通过反向匹配边界对字符串重写系统进行终止证明
机译:文件管理系统具有带有分级词库的搜索系统,该检索系统的术语层次基于文档化工厂的层次结构
机译:互联网(万维网,“ www”)基于客户/实体定义的标准,零售或以其他方式按规则的时间增量(带有推送通知)定制时间刮取/采购服务。适用于www上任何有形或无形的可购买或免费项目。包括对付费用户(即企业)的输出/市场需求数据和//报告。后端代码,网站功能,相同功能的应用程序(iOS,Android)以及相关浏览器附加服务的自动自定义标准网络抓取方法的方法的专利。
机译:用于自行车轮胎的厚壁,防刺穿,弹性,准固态圆形内胎,在肖氏硬度和阻尼系数方面进行了优化,并包括带有纵向剖分和插入的限定孔
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。