Coq関係計算ライブラリの開発と写像の性質の証明 - 九大コレクション

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

作成者	著者識別子 K002201 作成者名溝口, 佳寛 Mizoguchi, Yoshihiro ミゾグチ, ヨシヒロ所属機関所属機関名九州大学マス・フォア・インダストリ研究所 Institute of Mathematics for Industry, Kyushu University
	作成者名松嶋, 聡昭 Matsushima, Toshiaki マツシマ, トシアキ所属機関所属機関名九州大学大学院数理学府 Graduate School of Mathematics, Kyushu University
	作成者名田中, 久治 Tanaka, Hisaharu タナカ, ヒサハル所属機関所属機関名佐賀大学大学院工学系研究科 Department of Information Science, Saga University
	作成者名井口, 修一 Inokuchi, Shuichi イノクチ, シュウイチ所属機関所属機関名福岡工業大学情報工学部 Faculty of Information Engineering, Fukuoka Institute of Technology
本文言語	日本語
出版者	日本数式処理学会
出版者	Japan Society for Symbolic and Algebraic Computation
発行日	2016-05-01
収録物名	数式処理
収録物名	Bulletin of JSSAC
巻	22
号	2
開始ページ	39
終了ページ	42
出版タイプ	Version of Record
アクセス権	open access
権利関係	(C)2016 Japan Society for Symbolic and Algebraic Computation

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
mizoguchi-2	pdf	140 KB	297