DysToPic

swMATH31857MaRDI QIDQ43568FDOQ43568

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-24309-2_13

Described by source

• A multi-engine theorem prover for a description logic of typicality

Cited In (1)

• PreDeLo

This page was built for software: DysToPic