CADE ATP System Competition
সিএডিই এটিপি সিস্টেম প্রতিযোগিতা (সিএএসসি) হল ধ্রুপদী যুক্তির জন্য সম্পূর্ণ স্বয়ংক্রিয় উপপাদ্য প্রবর্তকদের একটি বার্ষিক প্রতিযোগিতা, সিএএসসি অটোমেটেড ডিডাকশন সম্মেলন এবং অ্যাসোসিয়েশন ফর অটোমেটেড রিজনিং দ্বারা আয়োজিত অটোমেটেড রিজনিং সম্পর্কিত আন্তর্জাতিক যৌথ সম্মেলনের সাথে যুক্ত। এটি সম্পর্কিত ক্ষেত্রগুলিতে অনুরূপ প্রতিযোগিতাকে অনুপ্রাণিত করেছে, বিশেষত সন্তোষজনক মডুলো তত্ত্বের জন্য সফল এসএমটি-সিএমপি প্রতিযোগিতা, প্রস্তাবনামূলক যুক্তিবিদদের জন্য এসএটি প্রতিযোগিতা এবং মডেল লজিক যুক্তি প্রতিযোগিতা। প্রথম সিএএসসি, সিএএসসি-13,1996 সালে রুটগার্স বিশ্ববিদ্যালয়, নিউ ব্রান্সউইক, এনজে-তে স্বয়ংক্রিয় ছাড় সম্পর্কিত 13 তম সম্মেলনের অংশ হিসাবে অনুষ্ঠিত হয়েছিল। প্রতিযোগিতামূলক সিস্টেমগুলির মধ্যে ছিল অটার এবং সেথিও। আরও দেখুন কম্পিউটার বিজ্ঞান পুরস্কারের তালিকা রেফারেন্স এক্সটার্নাল লিঙ্ক আর্কাইভ অফ অরিজিনাল সিএএসসি ওয়েবসাইট সিএএসসি ওয়েবসাইট কৃত্রিম বুদ্ধিমত্তা প্রতিযোগিতা কম্পিউটার বিজ্ঞান প্রতিযোগিতা