Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാൻ കഴിയുന്ന acl2 കമാൻഡ് ആണിത്.
പട്ടിക:
NAME
acl2 - ഒരു കമ്പ്യൂട്ടേഷണൽ ലോജിക്
സിനോപ്സിസ്
acl2
വിവരണം
ഈ മാനുവൽ പേജ് ചുരുക്കത്തിൽ രേഖപ്പെടുത്തുന്നു acl2 കമാൻഡ്. ഈ മാനുവൽ പേജ് എഴുതിയത്
യഥാർത്ഥ പ്രോഗ്രാമിന് മാനുവൽ പേജ് ഇല്ലാത്തതിനാൽ ഡെബിയൻ ഗ്നു/ലിനക്സ് വിതരണം.
പകരം, ഇതിന് GNU ഇൻഫോ ഫോർമാറ്റിലും html ഫോർമാറ്റിലും ഡോക്യുമെന്റേഷൻ ഉണ്ട്. ഇവയാണ്
acl2-doc പാക്കേജിൽ ഉൾപ്പെടുത്തിയിട്ടുണ്ട്. ഡോക്യുമെന്റേഷൻ പ്രോജക്റ്റിലും കാണാം
വെബ്സൈറ്റ്, http://www.cs.utexas.edu/users/moore/acl2, html രൂപത്തിലും പോസ്റ്റ്സ്ക്രിപ്റ്റിലും.
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് acl2 ഓൺലൈനായി ഉപയോഗിക്കുക