ADONIS: Automated diagnosis system based on sound and precise logical descriptions
- Rodríguez, A.
- Labra, J.E.
- Alor-Hernandez, G.
- Gómez, J.M.
- Posada-Gomez, R.
Proceedings:
Proceedings - IEEE Symposium on Computer-Based Medical Systems
ISSN: 1063-7125
ISBN: 9781424448784
Year of publication: 2009
Type: Conference paper