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

IR Web Site

Bibliographic Information

Other Title
  • テイリ ショウメイ シエンケイ Isabelle ニ オケル カンスウ ケンサク キノウ ノ カクチョウ
  • Extension of function search functionality for the proof assistant Isabelle

Search this article

Description

type:Article

identifier:北海学園大学工学部研究報告

identifier:02865262

identifier:http://hokuga.hgu.jp/dspace/handle/123456789/4756

Journal

Details 詳細情報について

Report a problem

Back to top