Journal Article Coq関係計算ライブラリの開発と写像の性質の証明
Relational Calculus Library in Coq

溝口, 佳寛  ,  松嶋, 聡昭  ,  田中, 久治  ,  井口, 修一

22 ( 2 )  , pp.39 - 42 , 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/1685898/mizoguchi-2.pdf

Number of accesses :  

Other information