CADE ATP System Competition
CADE ATP સિસ્ટમ કોમ્પિટિશન (CASC) એ ક્લાસિકલ લોજિક માટે સંપૂર્ણ સ્વચાલિત થીયરમ પ્રોવર્સની વાર્ષિક સ્પર્ધા છે CASC ઓટોમેટેડ ડિડક્શન પરની પરિષદ અને એસોસિએશન ફોર ઓટોમેટેડ રિઝનિંગ દ્વારા આયોજિત ઓટોમેટેડ રિઝનિંગ પર આંતરરાષ્ટ્રીય સંયુક્ત પરિષદ સાથે સંકળાયેલ છે. તેણે સંબંધિત ક્ષેત્રોમાં સમાન સ્પર્ધાને પ્રેરિત કરી છે, ખાસ કરીને સંતોષકારક મોડ્યુલો સિદ્ધાંતો માટે સફળ એસ. એમ. ટી.-સી. ઓ. એમ. પી. સ્પર્ધા, પ્રસ્તાવાત્મક તર્કકર્તાઓ માટે એસ. એ. ટી. સ્પર્ધા અને મોડલ લોજિક તર્ક સ્પર્ધા. પ્રથમ CASC, CASC-13,1996માં રુટગર્સ યુનિવર્સિટી, ન્યૂ બ્રુન્સવિક, NJ ખાતે ઓટોમેટેડ ડિડક્શન પર 13મી પરિષદના ભાગ રૂપે યોજવામાં આવી હતી. સ્પર્ધા કરતી પ્રણાલીઓમાં ઓટર અને સેથિયો હતા. આ પણ જુઓ કમ્પ્યુટર વિજ્ઞાન પુરસ્કારોની સૂચિ સંદર્ભો બાહ્ય કડીઓ મૂળ CASC વેબસાઇટ CASC વેબસાઇટની આર્કાઇવ આર્ટિફિશિયલ ઇન્ટેલિજન્સ સ્પર્ધાઓ કમ્પ્યુટર વિજ્ઞાન સ્પર્ધાઓ