Formally Correct Deduction Methods for Computational Logic: PhD Project Description

Asta Halkjær From

Research output: Contribution to conferencePaperResearchpeer-review

40 Downloads (Pure)
Original languageEnglish
Publication date2020
Number of pages2
Publication statusPublished - 2020
Event13th Conference on Intelligent Computer Mathematics - Online, Forlì, Italy
Duration: 26 Jul 202031 Jul 2020
Conference number: 13
https://cicm-conference.org/2020/cicm.php

Conference

Conference13th Conference on Intelligent Computer Mathematics
Number13
LocationOnline
Country/TerritoryItaly
CityForlì
Period26/07/202031/07/2020
Internet address

Cite this