Experiences in the formalisation and verification of medical protocols

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Mar Marcos, Michael BalserGND, Annette ten Teije, Frank van Harmelen, Christoph Duelli
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/35664
ISBN:978-3-540-20129-8OPAC
Parent Title (English):Artificial Intelligence in Medicine: 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, proceedings
Publisher:Springer
Place of publication:Berlin
Editor:Michel Dojat, Elpida T. Keravnou, Pedro Barahona
Type:Conference Proceeding
Language:English
Year of first Publication:2003
Release Date:2017/07/21
First Page:132
Last Page:141
Series:Lecture Notes in Computer Science ; 2780
Series:Lecture Notes in Artificial Intelligence
DOI:https://doi.org/10.1007/978-3-540-39907-0_19
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik