acl2 - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

acl2 - एक कम्प्यूटेशनल तर्क

SYNOPSIS

अकल २

वर्णन

यह मैनुअल पेज संक्षेप में दस्तावेज करता है अकल २ आदेश। यह मैनुअल पेज के लिए लिखा गया था
डेबियन जीएनयू/लिनक्स वितरण क्योंकि मूल कार्यक्रम में मैनुअल पेज नहीं है।
इसके बजाय, इसमें जीएनयू इन्फो प्रारूप के साथ-साथ एचटीएमएल प्रारूप में दस्तावेज़ीकरण है। ये
Acl2-doc पैकेज में शामिल है। दस्तावेज़ीकरण प्रोजेक्ट पर भी पाया जा सकता है
वेबसाइट, http://www.cs.utexas.edu/users/moore/acl2, HTML फॉर्म और पोस्टस्क्रिप्ट दोनों में।

onworks.net सेवाओं का उपयोग करके ACL2 का ऑनलाइन उपयोग करें