Exploitation of Parallelism in Prototypical Deduction Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph Butler, Nicholas T. Karonis. Exploitation of Parallelism in Prototypical Deduction Problems. In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 333-343, Springer, 1988.

This author has not been identified. Look up 'Ralph Butler' in GoogleThis author has not been identified. Look up 'Nicholas T. Karonis' in Google

runs on WebDSL