RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1984, том 277, номер 1, страницы 51–53 (Mi dan9573)

МАТЕМАТИКА

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

А. П. Столбоушкин

Казахский государственный университет им. С. М. Кирова, г. Алма-Ата

УДК: 519.49

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



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


© МИАН, 2024