Breadth-first search: some surprising results (Q2559927): Difference between revisions

@@ Property / cites work @@
+Q3283891
@@ Property / cites work: Q3283891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5507983
@@ Property / cites work: Q5507983 / rank @@
+Normal rank
@@ Property / cites work @@
+Breadth-first search: some surprising results
@@ Property / cites work: Breadth-first search: some surprising results / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Deductive Problem-Solving System
@@ Property / cites work: A Formal Deductive Problem-Solving System / rank @@
+Normal rank
@@ Property / cites work @@
+Toward Mechanical Mathematics
@@ Property / cites work: Toward Mechanical Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Manipulation of trees in information retrieval
@@ Property / cites work: Manipulation of trees in information retrieval / rank @@
+Normal rank
@@ Property / cites work @@
+An examination of the geometry theorem machine
@@ Property / cites work: An examination of the geometry theorem machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q5578546
@@ Property / cites work: Q5578546 / rank @@
+Normal rank
@@ Property / cites work @@
+REF-ARF: A system for solving problems stated as procedures
+Normal rank
@@ Property / cites work @@
+Q5594195
@@ Property / cites work: Q5594195 / rank @@
+Normal rank
@@ Property / cites work @@
+The Unit Proof and the Input Proof in Theorem Proving
+Normal rank