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

Orientador: Jacques Wainer

Detalhes bibliográficos
Autor principal: Dantas, Marcio Paixão (author)
Formato: masterThesis
Idioma:por
Publicado em: 2008
Assuntos:
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
Texto completo:https://hdl.handle.net/20.500.12733/1608147
País:Brasil
Oai:oai::434042

Texto Completo

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

Registros relacionados