退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:序列生成器,图形和形式语言
Burks Arthur W.; Wright Jesse B.;
机译:基于分层图的知识表示系统形式语言生成
机译:SDL — TRAN —形式描述语言SDL的交互式生成器
机译:弥合行为形式描述技术和用户界面描述语言之间的鸿沟:通过图形用户界面标记语言增强ICO
机译:关于授权转换序列的正式语言
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:解决正规研究奄奄一息语言的挑战:前进的道路
机译:序列生成器,图形和正式语言,
机译:基于图形的形式规范和领域特定语言的可视化。
机译:通过交互并将非正规源语言自动形式化为正规源语言,将机器翻译成目标语言
机译:正式语言的方法,正式语言代码的修改
机译:用于使用正式语言处理的子程序图的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。