0933-3657

Artificial Intelligence in Medicine (ARTMED) - Volume 5, Issue 5 论文列表

本期论文列表
Guest editor's introduction

The representation of medical reasoning models in resolution-based theorem provers

Symbolic decision support in medical care

Logic-based integrity constraints and the design of dental prostheses

A constraint logic programming framework for constructing DNA restriction maps

Calendar