The problem of selecting an approach based on prior success (Q1311414): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Antiautomorphisms, and Involutions: A Computer Solution to an Open Problem, I
+Normal rank
@@ Property / cites work @@
+Q3994754
@@ Property / cites work: Q3994754 / rank @@
+Normal rank
@@ Property / cites work @@
+Meeting the challenge of fifty years of logic
@@ Property / cites work: Meeting the challenge of fifty years of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank
@@ Property / cites work @@
+A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00881839
+Normal rank
@@ Property / OpenAlex ID @@
+W2063614869
@@ Property / OpenAlex ID: W2063614869 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1311414