警告：从第34行/home/local/www/molto-project.eu/sites/all/modules/i18n/i18ntaxonomy/i18ntasonomy.pages.inc中的空值创建默认对象。

     

中间语

机器翻译与类型理论

兰塔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.
辛迪加内容