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