Журнал ИМТ ПонятиеКлючевое слово

алгебраические типы данных

http://libmeta.ru/resource/imt/kw_141758671

Входящие связи

← тема · 1

ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ И РЕАЛИЗАЦИЯ ПРЕДИКАТНОЙ ПРОГРАММЫ ИНВЕРТИРОВАНИЯ СПИСК…

← ключевое слово · 1

ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ И РЕАЛИЗАЦИЯ ПРЕДИКАТНОЙ ПРОГРАММЫ ИНВЕРТИРОВАНИЯ СПИСК…