معرفی شرکت ها
prover9-doc_0.0.200902a-2_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe all |
| نام بسته | prover9-doc |
| نام فایل بسته | prover9-doc_0.0.200902a-2_all.deb |
| نسخه بسته | 0.0.200902a |
| انتشار بسته | 2 |
| معماری بسته | all |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.cs.unm.edu/~mccune/mace4/ |
| مجوز | - |
| حجم دانلود | 966634 |
| حجم نصب | 3119 |
نیازمندی
| مقدار | نام |
|---|---|
| - |
نحوه نصب
نصب پکیج deb prover9-doc:
sudo apt-get install prover9-doc_0.0.200902a-2_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc-base/prover9-doc |
| ./usr/share/doc/prover9-doc/finalbook.pdf.gz |
| ./usr/share/doc/prover9-doc/changelog.Debian.gz |
| ./usr/share/doc/prover9-doc/copyright |
| ./usr/share/doc/prover9-doc/html/output.html |
| ./usr/share/doc/prover9-doc/html/loop.html |
| ./usr/share/doc/prover9-doc/html/m4-input.html |
| ./usr/share/doc/prover9-doc/html/weight.html |
| ./usr/share/doc/prover9-doc/html/white-black.html |
| ./usr/share/doc/prover9-doc/html/manual.css |
| ./usr/share/doc/prover9-doc/html/m4-interpformat.html |
| ./usr/share/doc/prover9-doc/html/fof-prover9.html |
| ./usr/share/doc/prover9-doc/html/input.html |
| ./usr/share/doc/prover9-doc/html/prover9-5a-256t.gif |
| ./usr/share/doc/prover9-doc/html/nav.html |
| ./usr/share/doc/prover9-doc/html/semantics.html |
| ./usr/share/doc/prover9-doc/html/more-prep.html |
| ./usr/share/doc/prover9-doc/html/intro.html |
| ./usr/share/doc/prover9-doc/html/production.html |
| ./usr/share/doc/prover9-doc/html/m4-options.html |
| ./usr/share/doc/prover9-doc/html/select2.html |
| ./usr/share/doc/prover9-doc/html/others.html |
| ./usr/share/doc/prover9-doc/html/term-order.html |
| ./usr/share/doc/prover9-doc/html/index.html |
| ./usr/share/doc/prover9-doc/html/process-inf.html |
| ./usr/share/doc/prover9-doc/html/limits.html |
| ./usr/share/doc/prover9-doc/html/m4-arithmetic.html |
| ./usr/share/doc/prover9-doc/html/install.html |
| ./usr/share/doc/prover9-doc/html/clause-properties.html |
| ./usr/share/doc/prover9-doc/html/actions.html |
| ./usr/share/doc/prover9-doc/html/running.html |
| ./usr/share/doc/prover9-doc/html/select.html |
| ./usr/share/doc/prover9-doc/html/advanced.html |
| ./usr/share/doc/prover9-doc/html/talk-software.html |
| ./usr/share/doc/prover9-doc/html/mace4.html |
| ./usr/share/doc/prover9-doc/html/m4-isofilter.html |
| ./usr/share/doc/prover9-doc/html/goals.html |
| ./usr/share/doc/prover9-doc/html/hints.html |
| ./usr/share/doc/prover9-doc/html/references.html |
| ./usr/share/doc/prover9-doc/html/syntax.html |
| ./usr/share/doc/prover9-doc/html/attributes.html |
| ./usr/share/doc/prover9-doc/html/options.html |
| ./usr/share/doc/prover9-doc/html/inf-rules.html |
| ./usr/share/doc/prover9-doc/html/glossary.html |
| ./usr/share/doc/prover9-doc/html/prooftrans.html |
| ./usr/share/doc/prover9-doc/html/auto.html |
| ./usr/share/doc/prover9-doc/html/talk-semantics.html |
| ./usr/share/doc/prover9-doc/examples/weight_test.out |
| ./usr/share/doc/prover9-doc/examples/qg4.interps |
| ./usr/share/doc/prover9-doc/examples/BA2.interps3 |
| ... and 108 more |