On the Treatment of Equivalence Connectives in Automated Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Graham Wrightson. On the Treatment of Equivalence Connectives in Automated Theorem Proving. In Reinhard Wilhelm, editor, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Volume 33 of Informatik-Fachberichte, pages 428, Springer, 1980.

This author has not been identified. Look up 'Graham Wrightson' in Google

runs on WebDSL