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