The TPS Theorem Proving System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper. The TPS Theorem Proving System. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Volume 230 of Lecture Notes in Computer Science, pages 663-664, Springer, 1986.

This author has not been identified. Look up 'Peter B. Andrews' in GoogleIdentified as Frank Pfenning This author has not been identified. Look up 'Sunil Issar' in GoogleThis author has not been identified. Look up 'C. P. Klapper' in Google

runs on WebDSL