swMATH21354MaRDI QIDQ33162FDOQ33162
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/11532231_18
Cited In (11)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Automated Deduction – CADE-20
- Computer supported mathematics with \(\Omega\)MEGA
- Pcoq
- SicoTHEO
- Lambda-Clam
- Omega-ANTS
- Plat-Omega
- Mathematical Knowledge Management
- Proof planning with multiple strategies
- Failure reasoning in multiple-strategy proof planning
This page was built for software: Multi
