Plane geometry theorem proving using forward chaining (Q1215410): Difference between revisions

@@ Property / cites work @@
+A man-machine theorem-proving system
@@ Property / cites work: A man-machine theorem-proving system / rank @@
+Normal rank
@@ Property / cites work @@
+Q5721424
@@ Property / cites work: Q5721424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5507983
@@ Property / cites work: Q5507983 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+A relaxation approach to splitting in an automatic theorem prover
+Normal rank
@@ Property / cites work @@
+Q3849246
@@ Property / cites work: Q3849246 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments With a Multipurpose, Theorem-Proving Heuristic Program
+Normal rank