Search

Your search keyword '"Roanes-Lozano, Eugenio"' showing total 35 results

Search Constraints

Start Over You searched for: Author "Roanes-Lozano, Eugenio" Remove constraint Author: "Roanes-Lozano, Eugenio" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
35 results on '"Roanes-Lozano, Eugenio"'

Search Results

1. A Decision Making Tool for Mathematics Curricula Formal Verification

3. Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System

4. A Rule–Based Expert System for Vaginal Cytology Diagnosis

5. A Simple GUI for Developing Applications That Use Mathematical Software Systems

6. A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry

8. George Boole, a Forerunner of Symbolic Computation

11. A Rule-Based Knowledge System for Diagnosis of Mental Retardation

12. A Symbolic Computation-Based Expert System for Alzheimer’s Disease Diagnosis

19. A Proof Strategy Based on a Dual Representation

20. Reasoning about the Elementary Functions of Complex Analysis

22. Formalizing Rewriting in the ACL2 Theorem Prover

23. Some Techniques of Isomorph-Free Search

29. CDR: A Rewriting Based Tool to Design FPLA Circuits

Catalog

Books, media, physical & digital resources