The problem of selecting an approach based on prior success

DOI10.1007/BF00881839zbMath0783.68113OpenAlexW2063614869WikidataQ114267038 ScholiaQ114267038MaRDI QIDQ1311414

Larry Wos

Publication date: 23 January 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881839

zbMATH Keywords

unsolved research problemchoice of approach

Mathematics Subject Classification ID

Cites Work

• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
• Meeting the challenge of fifty years of logic
• Semigroups, Antiautomorphisms, and Involutions: A Computer Solution to an Open Problem, I
• Unnamed Item
• Unnamed Item

This page was built for publication: The problem of selecting an approach based on prior success