MikiBeta

swMATH9920MaRDI QIDQ21899FDOQ21899

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-20551-4_6

Cited In (1)

• MikiBeta : A General GUI Library for Visualizing Proof Trees

This page was built for software: MikiBeta