Evonne

swMATH43907MaRDI QIDQ5974541FDOQ5974541

Author name not available (Why is that?)

Described by source

• Evonne: interactive proof visualization for description logics (system description)

This page was built for software: Evonne