机译:有限解释的一般概念包含物公理化
Institute of Theoretical Computer Science, Dresden University of Technology, Germany;
d-fine GmbH,Frankfurt, Germany;
Institute of Theoretical Computer Science, Dresden University of Technology, Germany;
Description logics; formal concept analysis; terminological knowledge; ontology learning;
机译:具有无限规范公理结构的非有限性公正的模态产品逻辑
机译:通用过程代数中有限状态过程的完全地面公理化
机译:有限集性质的完全公理化
机译:包含串联平行部分订单的完全公理化
机译:基础科学学生的生物学概念:他们对科学概念的语言,含义,分类和解释:民族志研究。
机译:教师对学生学校福祉社会包容和学术自我概念的判断:使用纳入问卷的看法进行多特点 - 多立体分析
机译:包含串联-并行偏序的完整公理化
机译:建议在废物隔离试验工厂(WIpp)中使用的钻孔夹杂物应力测量概念分析