学術雑誌論文 Coq関係計算ライブラリの開発と写像の性質の証明
Relational Calculus Library in Coq
Coq カンケイ ケイサン ライブラリ ノ カイハツ ト シャゾウ ノ セイシツ ノ ショウメイ

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

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

http://catalog.lib.kyushu-u.ac.jp/handle/2324/1685898/mizoguchi-2.pdf

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

その他の情報