OSDN -- オープンソース・ソフトウェアの開発とダウンロード
日本語の翻訳状況 translation status for ja

kananaskis-2-HolBdd.pdf (kananaskis-2-HolBdd.pdf( 外部リンク: SF.net): 254,294 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。

ファイル情報

ファイルサイズ
254,294 バイト
MD5
a249de9197b5e9d3e33022b1489ee3df

次はどこに行きますか?

OSDN上のプロジェクトページへ行く 他のバージョンを見る

プロジェクト概要

HOL は高階論理の定理の証明システムです。それは様々 な既存の理論の数学と理論計算機科学のさまざまな部分をほのめかしたが付属しています。