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

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

ファイル情報

ファイルサイズ
100,638 バイト
MD5
e5bc587c55dade9e79653c34bdc569de

次はどこに行きますか?

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

プロジェクト概要

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