Pages that link to "Item:Q1295984"
From MaRDI portal
The following pages link to Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings (Q1295984):
Displayed 6 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)