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

@@ 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