CADE ATP System Competition
सी. ए. डी. ई. ए. टी. पी. प्रणाली प्रतियोगिता (सी. ए. एस. सी.) शास्त्रीय तर्क के लिए पूरी तरह से स्वचालित प्रमेय प्रदाताओं की एक वार्षिक प्रतियोगिता है। सी. ए. एस. सी. स्वचालित कटौती पर सम्मेलन और एसोसिएशन फॉर ऑटोमेटेड रीजनिंग द्वारा आयोजित स्वचालित तर्क पर अंतर्राष्ट्रीय संयुक्त सम्मेलन से जुड़ी है। इसने संबंधित क्षेत्रों में इसी तरह की प्रतिस्पर्धा को प्रेरित किया है, विशेष रूप से संतोषजनक मॉडुलो सिद्धांतों के लिए सफल एस. एम. टी.-सी. ओ. एम. पी. प्रतियोगिता, प्रस्तावक तर्ककर्ताओं के लिए एस. ए. टी. प्रतियोगिता और मोडल तर्क प्रतियोगिता। पहला सीएएससी, सीएएससी-13,1996 में रटगर्स विश्वविद्यालय, न्यू ब्रंसविक, एनजे में स्वचालित कटौती पर 13वें सम्मेलन के हिस्से के रूप में आयोजित किया गया था। प्रतिस्पर्धा करने वाली प्रणालियों में ओटर और सेथियो थे। कंप्यूटर विज्ञान पुरस्कारों की सूची भी देखें संदर्भ बाहरी लिंक मूल सीएएससी वेबसाइट का अभिलेखागार सीएएससी वेबसाइट कृत्रिम बुद्धिमत्ता प्रतियोगिता कंप्यूटर विज्ञान प्रतियोगिताएं