Automated Theorem Proving for Quality-checking Medical Guidelines

机译：自动定理证明用于质量检查医学准则

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hommersom A.J.; Lucas P.J.F.; Bommel P. van;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A symbolic finite-state approach for automated proving of theorems in combinatorial game theory [J] . Thanatipanonda T, Zeilberger D Journal of difference equations and applications . 2009,第2期

机译：组合博弈论中自动证明定理的符号有限状态方法
2. AUTOMATED PROVING AND ANALYSIS OF GEOMETRIC THEOREMS IN COORDINATE-FREE FORM BY USING THE ANTICOMMUTATIVE GROEBNER BASIS METHOD [J] . I. J. Tchoupaeva Journal of Mathematical Sciences . 2006,第5期

机译：基于反对流格罗布纳法的无坐标形式几何定理的自动证明和分析
3. The CADE-27 Automated theorem proving System Competition - CASC-27 [J] . Sutcliffe Geoff AI communications . 2019,第5a6期

机译：CADE-27自动定理证明系统竞争 - CASC-27
4. Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving [C] . Arjen Hommersom, Peter Lucas, Michael Balser European Conference on Logics in Artificial Intelligence(JELIA 2004); 20040927-30; Lisbon(PT) . 2004

机译：使用交互式定理证明对医学指南质量进行元级验证
5. Automated theorem proving by translation to description logic. [D] . Arhami, Negin. 2015

机译：通过翻译成描述逻辑来自动证明定理。
6. Automating a severity score guideline for community-acquired pneumonia employing medical language processing of discharge summaries. [O] . C. Friedman, C. Knirsch, L. Shagina, 1999

机译：使用出院摘要的医学语言处理功能自动处理社区获得性肺炎的严重程度评分指南。
7. Meta-level Verification of the Quality of Medical Guidelines using Interactive Theorem Proving [O] . Hommersom A.J., Lucas P.J.F., Balser M. 2004

机译：使用交互式定理证明对医学指南质量进行元级验证

Automated Theorem Proving for Quality-checking Medical Guidelines

著录项

引文网络

相似文献

相关主题

期刊订阅