Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Betzendahl, Jonas (CEUR Workshop Proceedings, 2022)
CRIS-Team Scopus Importer:2024-12-16