معرفی شرکت ها

prover9-doc_0.0.200902a-2_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

documentation for Prover9 and associated programs
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main all
نام بسته prover9-doc
نام فایل بسته prover9-doc_0.0.200902a-2_all.deb
نسخه بسته 0.0.200902a
انتشار بسته 2
معماری بسته all
نگهدارنده Debian QA Group <packages@qa.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unm.edu/~mccune/mace4/
مجوز -
حجم دانلود 968966
حجم نصب 3118
Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . This package provides documentation for Prover9, Mace4 and other associated programs.


نیازمندی

مقدار نام
-


نحوه نصب


نصب پکیج deb prover9-doc:

    sudo apt-get install prover9-doc_0.0.200902a-2_all.deb


فایل ها

مسیرها
./usr/share/doc/prover9-doc/examples/2inverter.out
./usr/share/doc/prover9-doc/examples/assoc-comm.clauses
./usr/share/doc/prover9-doc/examples/BA2.interps3
./usr/share/doc/prover9-doc/examples/LT-82-2.out
./usr/share/doc/prover9-doc/examples/subset_trans.out4
./usr/share/doc/prover9-doc/examples/easy.out
./usr/share/doc/prover9-doc/examples/subset_trans.out2
./usr/share/doc/prover9-doc/examples/weight_test.out
./usr/share/doc/prover9-doc/examples/x2.xml
./usr/share/doc/prover9-doc/examples/subset_trans.proof8
./usr/share/doc/prover9-doc/examples/subset_trans.proof3
./usr/share/doc/prover9-doc/examples/MOL.interps2
./usr/share/doc/prover9-doc/examples/subset_trans.proof6
./usr/share/doc/prover9-doc/examples/subset_trans_expand.in
./usr/share/doc/prover9-doc/examples/subset_trans.out3
./usr/share/doc/prover9-doc/examples/uc-hunt.clauses
./usr/share/doc/prover9-doc/examples/qg4-ac.interps
./usr/share/doc/prover9-doc/examples/BA4.out
./usr/share/doc/prover9-doc/examples/uc-18.interps
./usr/share/doc/prover9-doc/examples/BA2.interps5
./usr/share/doc/prover9-doc/examples/kenken6.out
./usr/share/doc/prover9-doc/examples/BA2.interps4
./usr/share/doc/prover9-doc/examples/send-money.out
./usr/share/doc/prover9-doc/examples/x2.mace4.out
./usr/share/doc/prover9-doc/examples/qg4.interps
./usr/share/doc/prover9-doc/examples/subset_trans.proof2
./usr/share/doc/prover9-doc/examples/group.demods
./usr/share/doc/prover9-doc/examples/MOL.in
./usr/share/doc/prover9-doc/examples/olsax.out
./usr/share/doc/prover9-doc/examples/x2.tabular
./usr/share/doc/prover9-doc/examples/x2.in
./usr/share/doc/prover9-doc/examples/list.in
./usr/share/doc/prover9-doc/examples/hard.out
./usr/share/doc/prover9-doc/examples/zebra2.out
./usr/share/doc/prover9-doc/examples/queens1.in
./usr/share/doc/prover9-doc/examples/group-terms.out
./usr/share/doc/prover9-doc/examples/x2.raw
./usr/share/doc/prover9-doc/examples/weight_test.in
./usr/share/doc/prover9-doc/examples/proof3.dtd
./usr/share/doc/prover9-doc/examples/list.out
./usr/share/doc/prover9-doc/examples/easy.hints
./usr/share/doc/prover9-doc/examples/bool-ring.out
./usr/share/doc/prover9-doc/examples/interp3.xsl
./usr/share/doc/prover9-doc/examples/LT-82-2-interp.in
./usr/share/doc/prover9-doc/examples/BA4.in
./usr/share/doc/prover9-doc/examples/subset.in
./usr/share/doc/prover9-doc/examples/LT-port.in
./usr/share/doc/prover9-doc/examples/PUZ031-1.tptp
./usr/share/doc/prover9-doc/examples/olsax.in
./usr/share/doc/prover9-doc/examples/redeclare.out
... and 108 more