Википедия

Алгоритмическая разрешимость: различия между версиями

Интерактивная навигация по истории
[непроверенная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→‎Литература: delink Воронков - не футболист "Оболони"
Строка 39:
* [[Мальцев, Анатолий Иванович|Мальцев А.И.]], ''Алгоритмы и рекурсивные функции'', Наука, 1986.
* [[Акерманн, Вильгельм|Ackermann W.]], ''Solvable Cases of the Decision Problem'', North-Holland Publishing, Amsterdam, 1954.
* [[Робинсон, Алан Джон|John Alan Robinson]], |Andrei Voronkov (Eds.): ''Handbook of Automated Reasoning'' (in 2 volumes). Elsevier and MIT Press 2001, ISBN 0-444-50813-9, ISBN 0-262-18223-8
 
== См. также ==
Источник — https://ru.wikipedia.org/wiki/Алгоритмическая_разрешимость