Definitions from Wikipedia (Conference on Automated Deduction)

▸ noun:  the premier academic conference on automated deduction and related fields.


▸ Words similar to conference on automated deduction
▸ Usage examples for conference on automated deduction

▸ Idioms related to conference on automated deduction
▸ Wikipedia articles (New!)
▸ Words that often appear near conference on automated deduction
▸ Rhymes of conference on automated deduction

▸ Invented words related to conference on automated deduction