Proof as a Mathematical Object - Proposals for a Research Program

Autor:	Peteris Daugulis
Rok vydání:	2020
Předmět:	Research program General Computer Science Computer science Programming language Mathematical object computer.software_genre computer
Zdroj:	Baltic Journal of Modern Computing. 8
ISSN:	2255-8950
DOI:	10.22364/bjmc.2020.8.2.01
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ee63e410044cced665b80ff51963502f https://doi.org/10.22364/bjmc.2020.8.2.01 Zobrazit plný text záznamu