Results 271 to 280 of about 4,442,858 (282)

Natural Deduction

2003
openaire   +2 more sources

Automated natural deduction prover and experiments

Lecture Notes in Computer Science, 1997
exaly  

The Stroke Function in Natural Deduction

Mathematical Logic Quarterly, 1961
openaire   +1 more source

Natural Deduction for Equality

Advances in Logic, 2011
exaly  

Natural Deduction

1981
openaire   +1 more source

Natural deduction

2004
openaire   +1 more source

Natural Deduction System NJ

2002
exaly  

Natural deduction

2006
openaire   +1 more source

Natural deduction

1978
openaire   +1 more source

Natural deduction

2014
openaire   +1 more source