Logics in Artificial Intelligence

DOI10.1007/B100483MaRDI QIDQ5394161zbMATH OpenOpenAlexFDO

Authors Arjen Hommersom, Peter Lucas, Michael Balser

Publication date 25 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100483

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Medical applications (general) (92C50)

Recommendations

• Checking the quality of clinical guidelines using automated reasoning tools
• scientific article; zbMATH DE number 1948197
• scientific article; zbMATH DE number 1746646
• Interactive theorem proving with temporal logic
• Tactical theorem proving in program verification

Cited in

(3)

• Checking the quality of clinical guidelines using automated reasoning tools
• scientific article; zbMATH DE number 1948197 (Why is no real title available?)
• scientific article; zbMATH DE number 1754153 (Why is no real title available?)

This page was built for publication: Logics in Artificial Intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394161)