Diabelli

swMATH19454MaRDI QIDQ31281FDOQ31281

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-31365-3_44

Cited In (8)

• Speedith: a reasoner for spider diagrams
• Diabelli: A Heterogeneous Proof System
• SketchSet
• Tahuti
• Openproof
• SketchNode
• Speedith
• Tesseract

This page was built for software: Diabelli