Talk:Conference on Automated Deduction
Appearance
This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||
|
How big is this conference? —Preceding unsigned comment added by 69.156.166.221 (talk) 04:29, 16 January 2009 (UTC)