Rabin M. ...

Новости

12 Апреля, 2024 Защита диссертаций

15 Марта, 2024 Сегодня стартовали выборы Президента России

13 Марта, 2024 Участники Альянса в сфере ИИ подписали декларацию об ответственном генеративном ИИ

Rabin M.

[1965]

A simple method for undecidability proofs and some applications

Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 1965, 58-68

69.06.97

article

Вернуться к поиску