An expert system for managing medical appropriateness criteria based on computer algebra techniques (Q1609885): Difference between revisions

@@ Property / author @@
+Luis M. Laita
@@ Property / author: Luis M. Laita / rank @@
+Normal rank
@@ Property / author @@
+Eugenio Roanes-Lozano
@@ Property / author: Eugenio Roanes-Lozano / rank @@
+Normal rank
@@ Property / author @@
+Eugenio Roanes-Macías
@@ Property / author: Eugenio Roanes-Macías / rank @@
+Normal rank
@@ Property / author @@
+Luis de Ledesma
@@ Property / author: Luis de Ledesma / rank @@
+Normal rank
@@ Property / author @@
+Laura Laita
@@ Property / author: Laura Laita / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoCoA
@@ Property / describes a project that uses: CoCoA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Some features of \(CoCoA 3\)
@@ Property / cites work: Some features of \(CoCoA 3\) / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q5590069
@@ Property / cites work: Q5590069 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-valued logic and Gröbner bases with applications to modal logic
+Normal rank
@@ Property / cites work @@
+A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms in computer algebra
@@ Property / cites work: Polynomial algorithms in computer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting standard bases in filtered structures
@@ Property / cites work: Lifting standard bases in filtered structures / rank @@
+Normal rank