МАТЕМАТИКА

Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня

Н. Н. Непейвода

Удмуртский государственный университет им. 50-летия СССР, г. Ижевск

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 03.11.1977

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

• 
•