algorithms approximationtheory artificialintelligence automatentheorie automatischesbeweisverfahren beweis(mathematik) combinatorialanalysis computationalcomplexity computer-aideddesign computeralgorithms computergraphics computerlogic computerscience computersoftware congresses dataprocessing designandconstruction digitalintegratedcircuits démonstrationautomatique electronicdataprocessing exercises geometry logic logicdesign logicprogramming mathematicalmodels mathematicaloptimization mathematics nonclassicalmathematicallogic problems qualitativereasoning softwareengineering symbolicandmathematical symbolicandmathematicallogic théorèmes