Results 271 to 280 of about 87,998 (303)
Some of the next articles are maybe not open access.
An Introduction to Automated Deduction
1987In this chapter, we present an informal introduction to many of the methods currently used in automated deduction. The principal method for theorem proving that we discuss is resolution, but we are also substantially concerned with extending the resolution framework to reason more efficiently about particular theories.
openaire +2 more sources
Analysis of the thrust deduction in waterjet propulsion – The Froude number dependence
Ocean Engineering, 2018Arash Eslamdoost +2 more
exaly
Expert deduction rules in data mining with association rules: a case study
Knowledge and Information Systems, 2018Jan Rauch
exaly