всички настройки
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: debian-science  ]

Пакет: science-logic (1.14.5)

Връзки за 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 10,2 кБ31,0 кБ [списък на файловете]