МАТЕМАТИКА

О семантике и логике вычислительных задач

М. И. Канович

Калининский государственный университет

УДК: 517.11+681.142

Статья представлена к публикации: А. П. Ершов
Поступило: 30.10.1987

 Англоязычная версия: Doklady Mathematics, 1989, 39:2, 334–338

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

• 
•