Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian. Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. In Mark E. Stickel, editor, 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Volume 449 of Lecture Notes in Computer Science, pages 72-86, Springer, 1990.

This author has not been identified. Look up 'Newton C. A. da Costa' in GoogleThis author has not been identified. Look up 'Lawrence J. Henschen' in GoogleThis author has not been identified. Look up 'James J. Lu' in GoogleThis author has not been identified. Look up 'V. S. Subrahmanian' in Google

runs on WebDSL