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

Результаты поиска
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1977. № 120. О сложности выводов в интуиционистском исчислении высказываний / С. В. Попов Попов, С. В 1977 Сводное описание: Препринты ИПМ имМВКелдыша - 1977 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1977. № 116. Некоторые сложностные характеристики выводов в исчислениях высказываний / С. В. Попов Попов, С. В 1977 Сводное описание: Препринты ИПМ имМВКелдыша - 1977 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1977. № 95. Неразрешимое промежуточное исчисление / С. В. Попов Попов, С. В 1977 Сводное описание: Препринты ИПМ имМВКелдыша - 1977 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1978. № 111. Процедура поиска вывода, основанная на методе синтаксического дерева / М. В. Захарьящев, С. В. Попов Захарьящев, Михаил Викторович Попов, С. В 1978 Сводное описание: Препринты ИПМ имМВКелдыша - 1978 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1980. № 45. О мощности контрмоделей интуиционистского исчисления / М. В. Захарьящев, С. В. Попов Захарьящев, Михаил Викторович Попов, С. В 1980 Сводное описание: Препринты ИПМ имМВКелдыша - 1980 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1985. № 42. Транслятор системы поиска выводов / И. В. Горская, М. А. Короткова, С. В. Попов Горская, И. В Короткова, М. А Попов, С. В 1985 Сводное описание: Препринты ИПМ имМВКелдыша - 1985 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1977. № 54. Программа поиска вывода / М. А. Короткова, С. В. Попов, Н. Д. Чередниченко Короткова, М. А Попов, С. В Чередниченко, Наталья Дмитриевна 1977 Сводное описание: Препринты ИПМ имМВКелдыша - 1977 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1985. № 128. Контрольное перефразирование в системе поиска выводов / И. В. Горская, О. А. Колядова, С. В. Попов Горская, И. В Колядова, О. А Попов, С. В 1985 Сводное описание: Препринты ИПМ имМВКелдыша - 1985 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1985. № 43. Входные языки системы поиска выводов / И. В. Горская, М. А. Короткова, С. В. Попов Горская, И. В Короткова, М. А Попов, С. В 1985 Сводное описание: Препринты ИПМ имМВКелдыша - 1985 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1977. № 30. Методы автоматического поиска доказательств / В. Н. Жданов, М. А. Короткова, А. И. Крысанов, С. В. Попов Жданов, В. Н Короткова, М. А Крысанов, А. И Попов, С. В 1977 Сводное описание: Препринты ИПМ имМВКелдыша - 1977 Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 1984. № 80. Расчёт коллапса вращающегося газового облака на лагранжевой сетке / Н. В. Арделян, Г. С. Бисноватый-Коган, Ю. П. Попов, С. В. Черниговский Арделян, Н. В Бисноватый-Коган, Г. С Попов, Юрий Петрович Черниговский, С. В 1984 Сводное описание: Препринты ИПМ имМВКелдыша - 1984 Нет доступных экземпляров Добавить в подборку (удалить)