Pages that link to "Item:Q5450782"
From MaRDI portal
The following pages link to KI 2004: Advances in Artificial Intelligence (Q5450782):
Displaying 4 items.
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Mechanizing Mathematical Reasoning (Q5717467) (← links)