Results 301 to 310 of about 70,024 (314)

Natural deduction systems for Nelson's paraconsistent logic and its neighbors

Journal of Applied Non-Classical Logics, 2005
Norihiro Kamide
exaly  

A Reasonable Deduction

Science, 1973
openaire   +2 more sources

Parallelization of deduction strategies: An analytical study

Journal of Automated Reasoning, 1994
Maria Paola Bonacina, Jieh Hsiang, Bonacina Maria Paola   +2 more
exaly  

Controlling generalization and polyvariance in partial deduction of normal logic programs

ACM Transactions on Programming Languages and Systems, 1998
Michael Leuschel, Bern Martens, Danny De Schreye   +2 more
exaly  

Physiological deductions.

2011
openaire   +1 more source

Tax Deduction

Science, 1959
openaire   +2 more sources

Machine Deduction

1994
openaire   +1 more source

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly  

Multiscenario deduction analysis for railway emergencies using knowledge metatheory and dynamic Bayesian networks

Reliability Engineering and System Safety
GUANYI Liu, Shifeng Liu, Xueyan Li
exaly  

Deduction

Choice Reviews Online, 1991
openaire   +1 more source