Design and development of ENprover, an automated theorem proving system based on EN-strategy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabio Baj, Massimo Bruschi, Antonella Zanzi. Design and development of ENprover, an automated theorem proving system based on EN-strategy. In Alfonso Miola, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 90, Capri, Italy, April 10-12, 1990, Proceedings. Volume 429 of Lecture Notes in Computer Science, pages 278-279, Springer, 1990.

This author has not been identified. Look up 'Fabio Baj' in GoogleThis author has not been identified. Look up 'Massimo Bruschi' in GoogleThis author has not been identified. Look up 'Antonella Zanzi' in Google

runs on WebDSL