Semantic generalizations for proving and disproving conjectures by analogy
From MaRDI portal
Publication:1382153
DOI10.1023/A:1005944606876zbMath0893.68134OpenAlexW1577332532MaRDI QIDQ1382153
Nicolas Peltier, Christophe Bourely, Gilles Défourneaux
Publication date: 2 June 1998
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005944606876
Related Items (4)
Tractable and intractable second-order matching problems ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Proving theorems by reuse ⋮ Analogy in Automated Deduction: A Survey
This page was built for publication: Semantic generalizations for proving and disproving conjectures by analogy
