Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 05:15, 24 января 2012 (разн. | история) . . (+2) . . Интерпретация булевых формул с кванторами как игр для двух игроков (правописание)
- 01:36, 24 января 2012 (разн. | история) . . (-1) . . Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами (исправлена вёрстка)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)