HOKUGA: 定理証明支援系Isabelleにおける関数検索機能の拡張

	北海学園学術情報リポジトリ
	Hokkai-Gakuen Organization of Knowledge Ubiquitous through Gaining Archives

このアイテムの引用には次の識別子を使用してください: http://hokuga.hgu.jp/dspace/handle/123456789/4756

タイトル:	定理証明支援系Isabelleにおける関数検索機能の拡張
その他のタイトル:	Extension of function search functionality for the proof assistant Isabelle
著者:	佐藤, 晴彦 SATO, Haruhiko
発行日:	12-Jan-2024
出版者:	北海学園大学工学部
引用:	北海学園大学工学部研究報告
シリーズ番号/レポート番号:	51
URI:	http://hokuga.hgu.jp/dspace/handle/123456789/4756
ISSN:	02865262
出現コレクション:	第51号

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
04_定理証明支援系Isabelleにおける関数検索機能の拡張.pdf		1.31 MB	Adobe PDF	見る/開く

このリポジトリに保管されているアイテムは、他に指定されている場合を除き、著作権により保護されています。