Results 161 to 162 of about 58,088 (162)
Some of the next articles are maybe not open access.

A plural resolution logic

2001
openaire   +1 more source

Resolution for Intuitionistic Logic.

openaire  
16. peace & justice
mechanization of proofs and logical operations
theorem proving deduction, resolution, etc.
mathematics
modal logic
resolution
computer science - logic in computer science
automated reasoning
004
previous   15  16  17  

Home - About - Disclaimer - Privacy