A Method for Building Models Automatically. Experiments with an Extension of OTTER - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christophe Bourely, Ricardo Caferra, Nicolas Peltier. A Method for Building Models Automatically. Experiments with an Extension of OTTER. In Alan Bundy, editor, Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Volume 814 of Lecture Notes in Computer Science, pages 72-86, Springer, 1994.

This author has not been identified. Look up 'Christophe Bourely' in GoogleThis author has not been identified. Look up 'Ricardo Caferra' in GoogleThis author has not been identified. Look up 'Nicolas Peltier' in Google

runs on WebDSL