Как стать автором
Поиск
Написать публикацию
Обновить

Комментарии 1

Спасибо за статью! Последний раз я слышал о доказательствах корректности алгоритма где-то в 1985м году. Тогда проблема считалась нерешаемой на практике...

Комментарий пока не оценивали0
Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Ваш аккаунт

Разделы

Информация

Услуги

Техническая поддержка
© 2006–2024, Habr