Andere Kunden interessierten sich auch für
![Resolution]( "Resolution")
Resolution19,99 €![THE FORMULATION AND RESOLUTION OF MATHEMATICAL PROBLEMS]( "THE FORMULATION AND RESOLUTION OF MATHEMATICAL PROBLEMS")
THE FORMULATION AND RESOLUTION OF MATHEMATICAL PROBLEMS26,99 €![Transport equation. Methods of resolution]( "Transport equation. Methods of resolution")
Transport equation. Methods of resolution32,99 €![Digital Heritage Reconstruction Using Super-resolution and Inpainting]( "Digital Heritage Reconstruction Using Super-resolution and Inpainting")
Digital Heritage Reconstruction Using Super-resolution and Inpainting53,49 €![Time Series Analysis: Methods and Applications]( "Time Series Analysis: Methods and Applications")
Time Series Analysis: Methods and Applications144,99 €![Entity Resolution in the Web of Data]( "Entity Resolution in the Web of Data")
Entity Resolution in the Web of Data35,30 €![Development and testing of high-resolution upwind schemes]( "Development and testing of high-resolution upwind schemes")
Development and testing of high-resolution upwind schemes51,99 €
High Quality Content by WIKIPEDIA articles! In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other words, iteratively applying the resolution rule in a suitable way allows for telling whether a propositional formula is satisfiable and for proving that a first-order formula is unsatisfiable; this method may prove the satisfiability of a first-order satisfiable formula, but not always, as it is the case for all methods for first-order logic. Resolution was introduced by John Alan Robinson in 1965.