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