In the Eye of the Beholder: Which Proofs are Best?
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 33rd International Workshop on Description Logics (DL 2020) |
Publication status | Published - 2020 |
Peer-reviewed | Yes |
External IDs
ORCID | /0000-0001-9936-0943/work/142238113 |
---|