Multi
From MaRDI portal
Software:33162
No author found.
Related Items (6)
Proof planning with multiple strategies ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Automated Deduction – CADE-20 ⋮ Unnamed Item ⋮ Mathematical Knowledge Management ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
This page was built for software: Multi
