Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma. Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. In Anca I. Vermesan, Frans Coenen, editors, Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. pages 53-65, Kluwer, 1999.

This author has not been identified. Look up 'Luis M. Laita' in GoogleThis author has not been identified. Look up 'Eugenio Roanes-Lozano' in GoogleThis author has not been identified. Look up 'Victor Maojo' in GoogleThis author has not been identified. Look up 'Luis de Ledesma' in Google

runs on WebDSL