The Representation of Medical Reasoning Models in Resolution-based Theorem Provers Originally Presented by Peter Lucas Department of Computer Science,
Tacit Knowledge .
The Representation of Medical Reasoning Models in Resolution-based Theorem Provers