Formally Correct Deduction Methods for Computational Logic: PhD Project Description

Research output: Contribution to conferencePaperResearchpeer-review

10 Downloads (Pure)
Original languageEnglish
Publication date2020
Number of pages2
Publication statusPublished - 2020
Event13th Conference on Intelligent Computer Mathematics - Virtual event
Duration: 26 Jul 202031 Jul 2020
https://cicm-conference.org/2020/cicm.php

Conference

Conference13th Conference on Intelligent Computer Mathematics
LocationVirtual event
Period26/07/202031/07/2020
Internet address

Cite this