Description: Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people