全部搜尋項
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 原始碼: debian-science  ]

套件:science-logic(1.14.6)

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 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 science-logic

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
all 10。0 kB30。0 kB [檔案列表]