出版物

过滤器:关键字的第一个字母  [清除所有筛选器]
集成电路设备
中间语
兰塔A.机器翻译与类型理论。输入:Dybjer P公司,Palmgren E公司,林德斯特伦·S,桑德霍姆G,编辑。 认识论与本体论。佩尔·马丁·洛夫关于数学哲学和基础的论文第27卷。认识论与本体论。佩尔·马丁·Löf.关于数学哲学和基础的论文。;2012:281-311. 网址:http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14.阵列下载:最终-mttt.pdf(591.34 KB)
MOLTO简介
兰塔A.MOLTO:多语言在线翻译.2012年9月19日乌得勒支蒙内-莫尔托会议. 2012.阵列下载:乌得勒支-莫尔托-2012.pdf(667.58 KB)