Поиск :
Личный кабинет :
Электронный каталог: Тимофеева, Ирина Леонидовна - Принцип индукции для предикатных систем натурального вывода
Тимофеева, Ирина Леонидовна - Принцип индукции для предикатных систем натурального вывода
Книга (аналит. описание)
Автор: Тимофеева, Ирина Леонидовна
Научные труды Московского педагогического государственного университета. Серия: естественные науки: Принцип индукции для предикатных систем натурального вывода
б.г.
ISBN отсутствует
Автор: Тимофеева, Ирина Леонидовна
Научные труды Московского педагогического государственного университета. Серия: естественные науки: Принцип индукции для предикатных систем натурального вывода
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна.
Принцип индукции для предикатных систем натурального вывода / И. Л. Тимофеева // Научные труды Московского педагогического государственного университета. Серия: естественные науки : Сб. ст. : К 130-летию МПГУ / Учеб.-науч. центр высш. пед. образования МПГУ, Федер. целевая программа "Интеграция"; Гл. редкол.: Матросов В. Л. (гл.ред.) и др. - Москва : Прометей, 2002 . - С. 29-33 . - Библиогр.: с. 33 . - На рус. яз.
2002
основной = аналитика дистант
Тимофеева, Ирина Леонидовна.
Принцип индукции для предикатных систем натурального вывода / И. Л. Тимофеева // Научные труды Московского педагогического государственного университета. Серия: естественные науки : Сб. ст. : К 130-летию МПГУ / Учеб.-науч. центр высш. пед. образования МПГУ, Федер. целевая программа "Интеграция"; Гл. редкол.: Матросов В. Л. (гл.ред.) и др. - Москва : Прометей, 2002 . - С. 29-33 . - Библиогр.: с. 33 . - На рус. яз.
2002
основной = аналитика дистант