معرفی شرکت ها

acl2-books-source_8.3dfsg-2_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Computational Logic for Applicative Common Lisp: library sources
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main all
نام بسته acl2-books-source
نام فایل بسته acl2-books-source_8.3dfsg-2_all.deb
نسخه بسته 8.3dfsg
انتشار بسته 2
معماری بسته all
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 19539252
حجم نصب 166243
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.


نیازمندی

مقدار نام
>= 8.3dfsg-2 acl2
>= 6.13 tex-common


نحوه نصب


نصب پکیج deb acl2-books-source:

    sudo apt-get install acl2-books-source_8.3dfsg-2_all.deb