Results 281 to 290 of about 87,998 (303)

Contradiction separation based dynamic multi-clause synergized automated deduction

Information Sciences, 2018
He Xingxing, Shuwei Chen
exaly  

Natural deduction rules for a logic of vagueness

Erkenntnis, 1987
I L Humberstone, J A Burgess
exaly  

Tax Deductions

Science, 1965
openaire   +2 more sources

Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events

International Journal of Approximate Reasoning, 1999
Thomas Lukasiewicz
exaly  

Deduction and Language

Logic Journal of IGPL, 1995
openaire   +1 more source

Hybrid Deduction–Refutation Systems

Axioms, 2019
Valentin Goranko
exaly  

Machine Deduction

1994
openaire   +1 more source

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly  

Tax Deduction

Science, 1959
openaire   +2 more sources

Analysis of point deduction patterns in Taekwondo using association rule learning

International Journal of Performance Analysis in Sport, 2019
exaly