এটি হল acl2 কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
acl2 - একটি কম্পিউটেশনাল লজিক
সাইনোপিসিস
acl2
বর্ণনাঃ
এই ম্যানুয়াল পৃষ্ঠা সংক্ষিপ্তভাবে নথি acl2 আদেশ এই ম্যানুয়াল পৃষ্ঠাটির জন্য লেখা হয়েছিল
ডেবিয়ান জিএনইউ/লিনাক্স ডিস্ট্রিবিউশন কারণ মূল প্রোগ্রামের একটি ম্যানুয়াল পৃষ্ঠা নেই।
পরিবর্তে, এটিতে GNU তথ্য বিন্যাসের পাশাপাশি html বিন্যাসে ডকুমেন্টেশন রয়েছে। এইগুলো
acl2-doc প্যাকেজে অন্তর্ভুক্ত। ডকুমেন্টেশন এছাড়াও প্রকল্পের পাওয়া যাবে
ওয়েবসাইট, http://www.cs.utexas.edu/users/moore/acl2, html আকারে এবং পোস্টস্ক্রিপ্ট উভয়ই।
onworks.net পরিষেবা ব্যবহার করে অনলাইনে acl2 ব্যবহার করুন