搜索筛选:
搜索耗时0.0910秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：乌维·布贝克,汉斯·克莱那·布吕宁,,
来源：逻辑学研究 年份：2010
使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复.这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并...
相关搜索：
