System Description: CyNTHIA

• Authors:

• Jon Whittle;Alan Bundy;Richard J. Boulton;Helen Lowe

• Affiliations:

• -;-;-;-

• Venue:
• CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
• Year:
• 1999