Difference between revisions of "CADE 2005"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from ori5 by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
Line 8: | Line 8: | ||
|Country=Estonia | |Country=Estonia | ||
|Field=Automated Deduction | |Field=Automated Deduction | ||
− | | | + | |Event type=Conference |
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-20/ | |Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-20/ | ||
}} | }} |
Latest revision as of 10:32, 8 March 2021
CADE 2005 | |
---|---|
Event in series | CADE |
Dates | 22/07/2005 (iCal) - 27/07/2005 |
Homepage: | www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-20/ |
Location | |
Location: | Tallinn, Estonia |
Papers: | Submitted 78 / Accepted {{{Accepted papers}}}"{{{Accepted papers}}}" is not a number. (Expression error: Unrecognized punctuation character "{"."Expression error: Unrecognized punctuation character "{"." is not a number. %) |
Table of Contents | |