A System for Distributed Simplification-Based Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maria Paola Bonacina, Jieh Hsiang. A System for Distributed Simplification-Based Theorem Proving. 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 370, Springer, 1990.

This author has not been identified. Look up 'Maria Paola Bonacina' in GoogleThis author has not been identified. Look up 'Jieh Hsiang' in Google

runs on WebDSL