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

• Authors:

• Luis M. Laita;Eugenio Roanes-Lozano;Victor Maojo;Luis de Ledesma

• Affiliations:

• -;-;-;-

• Venue:
• EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
• Year:
• 1999