Aceasta este comanda acl2 care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
acl2 - O logică computațională
REZUMAT
acl2
DESCRIERE
Această pagină de manual documentează pe scurt acl2 comanda. Această pagină de manual a fost scrisă pentru
Distribuție Debian GNU/Linux deoarece programul original nu are o pagină de manual.
În schimb, are documentație în format GNU Info, precum și în format html. Acestea sunt
incluse în pachetul acl2-doc. Documentația se găsește și la proiect
site-ul, http://www.cs.utexas.edu/users/moore/acl2, atât în formă html, cât și în postscript.
Utilizați acl2 online folosind serviciile onworks.net