The scope and limits of simulation in automated reasoning (Q253998): Difference between revisions

@@ Property / describes a project that uses @@
+GAZEBO
@@ Property / describes a project that uses: GAZEBO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2015.12.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2214227108
@@ Property / OpenAlex ID: W2214227108 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q125259447
@@ Property / Wikidata QID: Q125259447 / rank @@
+Normal rank
@@ Property / cites work @@
+The frontiers of computing in turbulence: challenges and perspectives
+Normal rank
@@ Property / cites work @@
+Planning for conjunctive goals
@@ Property / cites work: Planning for conjunctive goals / rank @@
+Normal rank
@@ Property / cites work @@
+NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3--5, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+How does a box work? A study in the qualitative dynamics of solid objects
+Normal rank
@@ Property / cites work @@
+Geometric Numerical Integration
@@ Property / cites work: Geometric Numerical Integration / rank @@
+Normal rank
@@ Property / cites work @@
+Q2761242
@@ Property / cites work: Q2761242 / rank @@
+Normal rank
@@ Property / cites work @@
+Thermodynamics of currents in nonequilibrium diffusive systems: theory and simulation
+Normal rank
@@ Property / cites work @@
+Qualitative simulation
@@ Property / cites work: Qualitative simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Causal approximations
@@ Property / cites work: Causal approximations / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Computational Physics
@@ Property / cites work: An Introduction to Computational Physics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Flapping and Bending Bodies Interacting with Fluid Flows
+Normal rank
@@ Property / cites work @@
+Rigid-Body Dynamics with Friction and Impact
@@ Property / cites work: Rigid-Body Dynamics with Friction and Impact / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about model accuracy
@@ Property / cites work: Reasoning about model accuracy / rank @@
+Normal rank