bn:01811897n
Noun Named Entity
EL
No term available
EN
The Conference on Automated Deduction is the premier academic conference on automated deduction and related fields. Wikipedia
Relations
Sources