Семинар Катедре за рачунарство и информатику, 13. јануар 2011.

• 10. Јануар, 2011
• Коментари (0)

Детаљније: Наредни састанак Семинара Катедре за рачунарство и информатику биће одржан у четвртак 13. 1. 2011. у 18h.

На Семинару ће бити приказан рад Групе за аутоматско резоновање АРГО (http://argo.matf.bg.ac.rs) Математичког факултета у Београду.

Детаљније информације о семинару и апстракти предавања се могу пронаћи на http://computing.matf.bg.ac.rs