退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:二维语言指定方法若干问题的研究
机译:图形数据库查询语言中通用量化的二维规范
机译:使用形式语言来整合Holonic MAS方法:一种用于分析问题和代理商领域的规范方法
机译:评估规范语言功能的方法
机译:二维语言指定方法的若干问题研究
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:知道我们在做什么:为什么规范治疗方法对言语病理学中基于证据的实践至关重要
机译:使用上下文相关性将自然语言规范转换为形式规范的方法
机译:用于提供简化的应用程序编程接口的系统和方法,用于从二维查询语言转换为多维查询语言以查询多维数据源和MDX服务器
机译:提供简化的应用程序编程接口的系统和方法,用于从二维查询语言转换为多维查询语言以查询多维数据源和MDX服务器
机译:扩展语言规范信息提供方法,扩展语言规范信息提供程序和编译装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。