RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Казанского университета. Серия Физико-математические науки // Архив

Учен. зап. Казан. ун-та., 1968, том 128, книга 2, страницы 71–75 (Mi uzku83)

Один алгоритм поиска вывода в клеточном исчислении

Н. К. Замов, В. И. Шаронов




Реферативные базы данных:


© МИАН, 2024