Computer algebra based verification and knowledge extraction in RES. Application to medical fitness criteria

  1. Laita, LM
  2. Roanes-Lozano, E
  3. Maojo, V
  4. de Ledesma, L
Libro:
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS
  1. Vermesan, A (coord.)
  2. Coenen, F (coord.)

ISBN: 0-7923-8645-0

Año de publicación: 1999

Páginas: 53-65

Congreso: 5th European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV 99)

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: WoS