The problem of reasoning from inequalities

DOI10.1007/BF02341857zbMath0749.68082OpenAlexW2082102156WikidataQ114264485 ScholiaQ114264485MaRDI QIDQ1195540

Larry Wos

Publication date: 14 December 1992

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

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

zbMATH Keywords

inequalitiesparamodulationopen research problems in automated reasoning

Mathematics Subject Classification ID

Cites Work

• Completeness results for inequality provers
• Special relations in automated deduction
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: The problem of reasoning from inequalities