退出
我的积分:
中文文献批量获取
外文文献批量获取
王炳波; 赵致琢; 晏松;
厦门大学;
计算机科学系;
福建;
厦门;
361005;
G(o)del; Prolog; 类型系统; 多态多类; 类型推理;
机译:Ins-Del和Matrix Ins-Del系统对某些上下文无关语言的简洁描述
机译:基于JavaScript和语义类型系统的统一系统建模和编程语言
机译:临床自然语言处理的通用类型系统
机译:逻辑编程语言Gödel的多态多点类型系统的实现
机译:无型语言的高级逻辑类型系统
机译:使用编程语言Gödel的类型系统
机译:C语言的声音多态类型系统(pREpRINT)
机译:结果集和可视化的业务智能语言类型系统
机译:声明数据的脚本语言的类型系统
机译:使用类型系统增强编程语言
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。