Pages that link to "Item:Q1567498"
From MaRDI portal
The following pages link to Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings (Q1567498):
Displaying 3 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Automated deduction -- CADE-12. 12th international conference, Nancy, France, June 26 -- July 1, 1994. Proceedings (Q1327704) (← links)
- Automated deduction -- CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13--17, 1997. Proceedings (Q1363486) (← links)