System Description: CyNTHIA - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. System Description: CyNTHIA. In Harald Ganzinger, editor, Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings. Volume 1632 of Lecture Notes in Computer Science, pages 388-392, Springer, 1999. [doi]

Identified as Jon Whittle This author has not been identified. Look up 'Alan Bundy' in GoogleThis author has not been identified. Look up 'Richard J. Boulton' in GoogleThis author has not been identified. Look up 'Helen Lowe' in Google

runs on WebDSL