Formally Correct Deduction Methods for Computational Logic: PhD Project Description

Research output: Contribution to conference › Paper › Research › peer-review

19 Downloads (Pure)

Original language	English
Publication date	2020
Number of pages	2
Publication status	Published - 2020
Event	13th Conference on Intelligent Computer Mathematics - Online, Forlì, Italy Duration: 26 Jul 2020 → 31 Jul 2020 Conference number: 13 https://cicm-conference.org/2020/cicm.php

Conference	13th Conference on Intelligent Computer Mathematics
Number	13
Location	Online
Country/Territory	Italy
City	Forlì
Period	26/07/2020 → 31/07/2020
Internet address	https://cicm-conference.org/2020/cicm.php

Access to Document

@conference{16eea698bd0345fcb9d815fcbdf70a69,

title = "Formally Correct Deduction Methods for Computational Logic: PhD Project Description",

author = "From, {Asta Halkj{\ae}r}",

year = "2020",

language = "English",

note = "13th Conference on Intelligent Computer Mathematics, CICM 2020 ; Conference date: 26-07-2020 Through 31-07-2020",

url = "https://cicm-conference.org/2020/cicm.php",

}