Encyklopedia w MarkpolReklama:Conference on Automated Deduction (CADE) to najważniejsza konferencja na temat automatycznego dowodzenia twierdzeń. Jest organizowana 1974, przy czym do 1996 odbywała się (mniej więcej) co dwa lata, potem zaś corocznie. Jedną z głównych atrakcji jest konkurs systemów automatycznego dowodzenia twierdzeń - CASC. Chcesz wypromować swoją stronę w internecie?? - nie zwlekaj pozycjonowanie w Luman.biz to rozsądny wybór |
|