The problem of reasoning from inequalities
From MaRDI portal
Publication:1195540
DOI10.1007/BF02341857zbMath0749.68082WikidataQ114264485 ScholiaQ114264485MaRDI QIDQ1195540
Publication date: 14 December 1992
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Cites Work