Ваш поиск дал 5 результатов.

Результаты поиска
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1995. № 97. Экспериментальная система для решения задач. / М. А. Короткова, Н. А. Наумов, А. Н. Одрова Короткова, М. А Наумов, Николай Анатольевич Одрова, А. Н 1995 Сводное описание: Препринты ИПМ имМВКелдыша - 1995 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1985. № 43. Входные языки системы поиска выводов / И. В. Горская, М. А. Короткова, С. В. Попов Горская, И. В Короткова, М. А Попов, С. В 1985 Сводное описание: Препринты ИПМ имМВКелдыша - 1985 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1985. № 42. Транслятор системы поиска выводов / И. В. Горская, М. А. Короткова, С. В. Попов Горская, И. В Короткова, М. А Попов, С. В 1985 Сводное описание: Препринты ИПМ имМВКелдыша - 1985 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1977. № 54. Программа поиска вывода / М. А. Короткова, С. В. Попов, Н. Д. Чередниченко Короткова, М. А Попов, С. В Чередниченко, Наталья Дмитриевна 1977 Сводное описание: Препринты ИПМ имМВКелдыша - 1977 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1977. № 30. Методы автоматического поиска доказательств / В. Н. Жданов, М. А. Короткова, А. И. Крысанов, С. В. Попов Жданов, В. Н Короткова, М. А Крысанов, А. И Попов, С. В 1977 Сводное описание: Препринты ИПМ имМВКелдыша - 1977 Нет доступных экземпляров Добавить в подборку (удалить)