Solving problems by formula manipulation in logic and linear inequalities
From MaRDI portal
Publication:2557564
DOI10.1016/0004-3702(72)90046-XzbMath0252.68048OpenAlexW2011783093MaRDI QIDQ2557564
Publication date: 1972
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(72)90046-x
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Some new results on decidability for elementary algebra and geometry ⋮ A pragmatic approach to resolution-based theorem proving ⋮ Product optimization in stepwise design
Cites Work
This page was built for publication: Solving problems by formula manipulation in logic and linear inequalities