Під час проведення наступного UNILOG-у (29 березня – 7 квітня 2013 року, Ріо-де-Жанейро, Бразилія), як і в попередні роки, буде організовано тематичний конкурс статей. Тема конкурсу наступного року: «Сукупність логічних теорем» (Scope of Logic Theorems). Статті на конкурс приймаються до 28 лютого 2013 року. Докладніше:
Останні коментарі
6 years 1 week тому
9 years 34 weeks тому
11 years 17 weeks тому
11 years 20 weeks тому
11 years 25 weeks тому
11 years 36 weeks тому
11 years 36 weeks тому
11 years 36 weeks тому
11 years 44 weeks тому
11 years 44 weeks тому