Journal Article Coqによる初等幾何学の証明方法について
Elementary Geometry in Coq

田中, 久治  ,  溝口, 佳寛

22 ( 2 )  , pp.43 - 46 , 2016-05-01 , 日本数式処理学会
ISSN:0919-1410
ISBN:978-4-903027-27-2
NCID:AN10403984
Full-Text

https://catalog.lib.kyushu-u.ac.jp/opac_download_md/1685899/JSSAC_report.pdf

Number of accesses :  

Other information