St-Modeler : um ambiente de desenvolvimento e verificação de guias de conduta clinica

Orientador: Jacques Wainer

Bibliographic Details
Main Author: Dantas, Marcio Paixão (author)
Format: masterThesis
Language:por
Published: 2008
Subjects:
Inteligencia artificial - Aplicações médicas
Representação do conhecimento (Sistemas especialistas)
Modelagem
Verificação (Logica)
Artificial intelligence - Medical applications
Knowledge representation (Expert systems)
Modelling
Logical verification
Online Access:https://hdl.handle.net/20.500.12733/1608147
Country:Brazil
Oai:oai::434042

Internet

https://hdl.handle.net/20.500.12733/1608147

Similar Items