všetky možnosti
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: debian-science  ]

Balík: science-logic (1.14.2)

Odkazy pre science-logic

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík debian-science:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom science-logic

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť science-logic

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 20.5 kB42.0 kB [zoznam súborov]