すべてのオプション
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: debian-science  ]

パッケージ: science-logic (1.10)

science-logic に関するリンク

Screenshot

Debian の資源:

debian-science ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

Debian Science Logic packages

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.

その他の science-logic 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

science-logic のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 18.0 kB38.0 kB [ファイル一覧]