Symbolic reasoning among 3-D models and 2-D images (Q2676556): Difference between revisions

@@ Property / cites work @@
+Inferring the positions of bodies from specified spatial relationships
+Normal rank
@@ Property / cites work @@
+Q5578545
@@ Property / cites work: Q5578545 / rank @@
+Normal rank
@@ Property / cites work @@
+REF-ARF: A system for solving problems stated as procedures
+Normal rank
@@ Property / cites work @@
+Description and recognition of curved objects
@@ Property / cites work: Description and recognition of curved objects / rank @@
+Normal rank
@@ Property / cites work @@
+On the SUP-INF Method for Proving Presburger Formulas
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank