広告
広告- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- soft/HOL Light
へ行く。
- 1 (2012-05-29 (火) 11:05:35)
HOL Light - - 高階述語論理用の定理証明システム
| メインページ | http://www.cl.cam.ac.uk/~jrh13/hol-light/
|
|
| 参考ページ1 | http:// | |
| 参考ページ2 | http:// | |
| 概要 | 高階述語論理用の定理証明システム | |
| カテゴリ | [科学・技術/数学・統計学 ] | |
| 関連ソフト | -- | |
| 検索 | HOL LightをGoogleで検索 | |
| ライセンス | フリー | |
| Debianパッケージ | hol-light
|
|
| Ubuntuパッケージ | 検索
,
|
|
| RPMパッケージ | 検索
,
|
|
| FreeBSD Ports | 検索
,
|
|
| 登録日 | 2012-05-23 | |
説明
高階述語論理用の定理証明システム
