Jazyk:	japonština
Rok vydání:	2016
Předmět:	定理証明支援系 Coq 初等幾何学
Zdroj:	数式処理. 22(2):43-46
ISSN:	0919-1410
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=jairo_______::88c1df717151658b23c4a24458d198d1 http://hdl.handle.net/2324/1685899 Zobrazit plný text záznamu