Jest to polecenie acl2, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks, korzystając z jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
acl2 — logika obliczeniowa
STRESZCZENIE
acl2
OPIS
Ta strona podręcznika opisuje pokrótce acl2 Komenda. Ta strona podręcznika została napisana dla
Dystrybucja Debian GNU/Linux, ponieważ oryginalny program nie posiada strony podręcznika.
Zamiast tego ma dokumentację w formacie GNU Info, a także w formacie html. To są
zawarte w pakiecie acl2-doc. Dokumentację można również znaleźć na stronie projektu
witryna internetowa http://www.cs.utexas.edu/users/moore/acl2, zarówno w postaci html, jak i postscriptu.
Korzystaj z acl2 online za pomocą usług onworks.net