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

機関リポジトリ Web Site

書誌事項

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

この論文をさがす

抄録

type:Article

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

identifier:02865262

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

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ