Computational logic: a method for formal analysis of the ICU knowledge base

• 作者William P. Coleman; John H. Siegel; Ivo Giovannini; David P. Sanford; Andrea De Gaetano
• 卷第10卷
• 期第1期
• 印刷ISSN0167-9945
• 电子ISSN1573-2614
• 文件大小1057.66KB
• 发表时间1993-02
• DOI10.1007/bf01133525
• 页码67-79