退出
我的积分:
中文文献批量获取
外文文献批量获取
周光明; 王鼎兴;
不详;
函数语言; 类型; 检查; 算法;
机译:一种新的语言尺度函数语言价值软多标准组决策问题的新算法方法
机译:在无上下文语言中定义的函数的实用类型检查
机译:上下文无关语言上的函数的实用类型检查
机译:使用更高级函数和类型嵌入解释的语言
机译:译员的助手:一种基于语言通用性,类型学和原始语言的多语言自然语言生成器。
机译:执行临床筛查算法的性能包括使用自我收集的阴道标本进行即时医疗HPV-DNA检测以及用乙酸肉眼检查宫颈以检测巴布亚新几内亚潜在的高级鳞状上皮内病变
机译:句子类型是一种复杂的语言符号。从类型学角度进行的德匈牙利比较研究=句子类型是一种复杂的语言符号。从类型学角度看德匈对比研究
机译:类型化函数式编程语言中的不动点和可扩展性
机译:使用生成的通用函数的高级语言指令的运行时环境的对象类型系统
机译:循环寻址算法可提高与一种或多种高级编程语言的兼容性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。