libLogic

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 3.0/5 - ‎1 ‎वोट

करीबन libLogic

libLogic स्वचालित प्रमेय के लिए एक सॉफ्टवेयर पुस्तकालय है जो किसी भी आदेश के किसी भी तार्किक सिद्धांत में सही ढंग से और कुशलता से सभी साध्य बयानों को साबित करने की माना जाता है, जिसमें कोई मानव सहायता नहीं है।