Guiding a Theorem Prover with Soft Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John K. Slaney, Arnold Binas, David Price. Guiding a Theorem Prover with Soft Constraints. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. pages 221-225, IOS Press, 2004.

This author has not been identified. Look up 'John K. Slaney' in GoogleThis author has not been identified. Look up 'Arnold Binas' in GoogleThis author has not been identified. Look up 'David Price' in Google

runs on WebDSL