机译:Spartacus:适用于混合逻辑的Tableau证明
机译:使用全局缓存进行描述逻辑ALC的高效Tableau证明
机译:通过翻译证明了在自然的点指数逻辑的定理
机译:用于自然逻辑和语言的画报
机译:大幻觉;难以捉摸的事实:尽管有``他们的程序化消亡''法式,法国的区域语言仍然生存:皮卡第和普罗旺斯普罗旺斯的皮卡德=宏大的幻想,事实难以捉摸:法国皮卡第和普罗旺斯的皮卡德和普罗旺斯的地方语言的生存
机译:受控词汇表索引编制和医学语言处理。医学语言处理:自然语言超声心动图报告的数据库捕获:统一医学语言系统方法
机译:自然逻辑和语言的Tableau证明者