acl2 - Online in de cloud

PROGRAMMA:

NAAM

acl2 - Een computationele logica

KORTE INHOUD

ac2

PRODUCTBESCHRIJVING

Deze handleiding documenteert in het kort de: ac2 opdracht. Deze handleiding is geschreven voor de
Debian GNU/Linux-distributie omdat het originele programma geen handmatige pagina heeft.
In plaats daarvan heeft het documentatie in zowel het GNU Info-formaat als het HTML-formaat. Dit zijn
opgenomen in het acl2-doc-pakket. De documentatie is tevens te vinden bij het project
website http://www.cs.utexas.edu/users/moore/acl2, zowel in html-vorm als in postscript.

Gebruik acl2 online met behulp van onworks.net-services