学術雑誌論文 Coq関係計算ライブラリの開発と写像の性質の証明
Relational Calculus Library in Coq

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

22 ( 2 )  , pp.39 - 42 , 2016-05-01 , 日本数式処理学会
ISSN:0919-1410
ISBN:978-4-903027-27-2
NII書誌ID(NCID):AN10403984
本文を読む

https://catalog.lib.kyushu-u.ac.jp/opac_download_md/1685898/mizoguchi-2.pdf

このアイテムのアクセス数:  回

その他の情報