Multi

swMATH21354MaRDI QIDQ33162FDOQ33162

Author name not available (Why is that?)

Cited In (6)

• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• Automated Deduction – CADE-20
• Computer supported mathematics with \(\Omega\)MEGA
• Mathematical Knowledge Management
• Proof planning with multiple strategies
• Failure reasoning in multiple-strategy proof planning

This page was built for software: Multi