Model Building and Interactive Theory Discovery

• Authors:

• Ricardo Caferra;Nicolas Pelier

• Affiliations:

• -;-

• Venue:
• TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
• Year:
• 1995