acl2 - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

acl2 - ເຫດຜົນການຄິດໄລ່

ສະຫຼຸບສັງລວມ

acl2

ລາຍລະອຽດ

ຫນ້າຄູ່ມືນີ້ເອກະສານສັ້ນໆກ່ຽວກັບ acl2 ຄໍາສັ່ງ. ຫນ້າຄູ່ມືນີ້ໄດ້ຖືກຂຽນໄວ້ສໍາລັບ
ການແຈກຢາຍ Debian GNU/Linux ເພາະວ່າໂປຣແກຣມຕົ້ນສະບັບບໍ່ມີໜ້າຄູ່ມື.
ແທນທີ່ຈະ, ມັນມີເອກະສານໃນຮູບແບບ GNU Info ເຊັ່ນດຽວກັນກັບຮູບແບບ html. ພວກ​ນີ້​ແມ່ນ
ລວມຢູ່ໃນຊຸດ acl2-doc. ເອກະສານຍັງສາມາດພົບເຫັນຢູ່ໃນໂຄງການ
ເວັບໄຊທ໌, http://www.cs.utexas.edu/users/moore/acl2, ທັງໃນຮູບແບບ html ແລະໃນ postscript.

ໃຊ້ acl2 ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net