معرفی شرکت ها


science-logic_1.14.5_all.deb


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Debian Science Logic packages
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main all
نام بسته science-logic
نام فایل بسته science-logic_1.14.5_all.deb
نسخه بسته 1.14.5
انتشار بسته -
معماری بسته all
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://wiki.debian.org/DebianScience/
مجوز -
حجم دانلود 10400
حجم نصب 31
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.


نیازمندی

مقدار نام
= 1.14.5 science-config
= 1.14.5 science-tasks


نحوه نصب


نصب پکیج deb science-logic:

    sudo apt-get install science-logic_1.14.5_all.deb


فایل ها

مسیرها
./usr/share/blends/tasks/science/logic
./usr/share/doc/science-logic/NEWS.Debian.gz
./usr/share/doc/science-logic/README.Debian
./usr/share/doc/science-logic/changelog.gz
./usr/share/doc/science-logic/copyright
./usr/bin/science-logic -> science-config
./usr/share/man/man1/science-logic.1.gz -> science-config.1.gz