Login / Signup
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.
Arjen Hommersom
Peter J. F. Lucas
Michael Balser
Published in:
JELIA (2004)
Keyphrases
</>
meta level
object level
distributed problem solving
high quality
domain knowledge
interactive theorem proving
medical knowledge
viewpoint
prior knowledge