Automated Theorem Proving in Non-Classical Logics

Lincoln A. Wallen. Automated Theorem Proving in Non-Classical Logics. In SCAI. pages 1-12, 1988.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.