DysToPic

MaRDI QIDQ43568swMATHFDO

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