Meta-level verification of the quality of medical guidelines using interactive theorem proving
- Meta-level verification of the quality of medical guidelines using interactive theorem proving / A. Hommersom, P. Lucas, M. Balser. - In: Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004 ; proceedings / José Júlio Alferes ... (eds.). - Berlin u. a. : Springer, 2004. - S. 654-666. - (Lecture notes in computer science ; 3229 : Lecture notes in artificial intelligence)