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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(81)90028-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2037732452
@@ Property / OpenAlex ID: W2037732452 / rank @@
+Normal rank