Adaptive Parallel Search for Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diane J. Cook, Charles Hannon. Adaptive Parallel Search for Theorem Proving. In Amruth N. Kumar, Ingrid Russell, editors, Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, May 1-5, 1999, Orlando, Florida, USA. pages 351-355, AAAI Press, 1999.

This author has not been identified. Look up 'Diane J. Cook' in GoogleThis author has not been identified. Look up 'Charles Hannon' in Google

runs on WebDSL