Search results
The page '"J Autom Reason"' does not exist; did you mean "J Autom Reason"? If not, you can create a draft and submit it for review or request that a redirect be created, but consider checking the search results below to see whether the topic is already covered.
- Journal of Automated Reasoning (redirect from J Autom Reason)abbreviations ISO 4 (alt) · Bluebook (alt) NLM (alt) · MathSciNet (alt ) ISO 4 J. Autom. Reason. MathSciNet J. Automat. Reason. Indexing CODEN (alt · alt2) · JSTOR...3 KB (133 words) - 14:14, 20 July 2024
- for Computing Minimal Unsatisfiable Subsets of Constraints" (PDF). J Autom Reason. 40: 1–33. CiteSeerX 10.1.1.79.1304. doi:10.1007/s10817-007-9084-z....3 KB (347 words) - 08:06, 28 September 2024
- Russinoff, David M. (1992), "A Mechanical Proof of Quadratic Reciprocity", J. Autom. Reason., 8 (1): 3–21, doi:10.1007/BF00263446, S2CID 14824949 Gonthier, G.;...14 KB (1,352 words) - 14:24, 5 September 2024