出版物

过滤器:作者彼得·戴比杰  [清除所有筛选器]
书籍章节
兰塔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.阵列下载:最终-mtt.pdf(591.34 KB)