Dies ist der Befehl acl2, der im kostenlosen OnWorks-Hosting-Provider über eine unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
acl2 - Eine Computerlogik
ZUSAMMENFASSUNG
acl2
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die acl2 Befehl. Diese Handbuchseite wurde für die
Debian GNU/Linux-Distribution, weil das Originalprogramm keine Handbuchseite hat.
Stattdessen hat es Dokumentation im GNU Info-Format sowie im HTML-Format. Diese sind
im Paket acl2-doc enthalten. Die Dokumentation finden Sie auch bei der Projekt
Website http://www.cs.utexas.edu/users/moore/acl2, sowohl im HTML-Format als auch im Postscript.
Verwenden Sie acl2 online mit den onworks.net-Diensten
