Wallen, Lincoln A. profile picture

Wallen, Lincoln A.

Is this your author profile? Create an account to claim and customize it!

Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)