Parallel Closure-Based Automated Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ewing L. Lusk, William McCune, John K. Slaney. Parallel Closure-Based Automated Reasoning. In Bertram Fronhöfer, Graham Wrightson, editors, Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Volume 590 of Lecture Notes in Computer Science, pages 347, Springer, 1990.

This author has not been identified. Look up 'Ewing L. Lusk' in GoogleThis author has not been identified. Look up 'William McCune' in GoogleThis author has not been identified. Look up 'John K. Slaney' in Google

runs on WebDSL