Акт экспертизы тезисов доклада Н.К. Косовского "Эквивалентность двух правил для доказательства свойств оператора цикла".
Названия статей: "Эквивалентность двух правил для доказательства свойств оператора цикла" Оригинальный язык документа: русский Организации: ЛГУ (СПбГУ), Матмех ф-т
