Computer proofs of limit theorems (Q2554244): Difference between revisions

@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+REF-ARF: A system for solving problems stated as procedures
+Normal rank