The following pages link to Omega-ANTS (Q31451):
Displaying 8 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000 (Q2716041) (← links)
- Towards learning new methods in proof planning (Q2751546) (← links)
- Distributed assertion retrieval (Q2767923) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- (Q4428312) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)