The linked inference principle. I: The formal treatment
From MaRDI portal
Publication:1189727
DOI10.1007/BF00244283zbMath0754.68102WikidataQ114267080 ScholiaQ114267080MaRDI QIDQ1189727
Publication date: 27 September 1992
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Using hints to increase the effectiveness of an automated reasoning program: Case studies ⋮ Linear and unit-resulting refutations for Horn theories ⋮ The application of automated reasoning to formal models of combinatorial optimization
Uses Software
This page was built for publication: The linked inference principle. I: The formal treatment
