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

Результаты поиска
			КнигаЛогика и компьютер. [Вып.] 5 : Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков [и др.] ; отв. ред. В. А. Бочаров] Болотов, А. Е Бочаров, Вячеслав Александрович Горчаков, Александр Евгеньевич Макаров, В. В Шангин, В. О 2004 Сводное описание: Логика и компьютер Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 518.74 / Л 69. Онлайн заказ Добавить в подборку (удалить)
			КнигаЛогика и компьютер. [Вып.] 3 : Доказательство и его поиск : (Курс логики и компьютерный практикум) / [В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов ; Отв. ред. В. А. Смирнов] Смирнов, Владимир Александрович Маркин, Владимир Ильич Новодворский, А. Е Смирнов, А. В 1996 Сводное описание: Логика и компьютер Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51/Л-69. Онлайн заказ Добавить в подборку (удалить)
			КнигаЛогика и компьютер. [Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств / [отв. ред. В. А. Смирнов] Смирнов, Владимир Александрович [ред.] 1995 Сводное описание: Логика и компьютер Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51/Л-69. Онлайн заказ Добавить в подборку (удалить)
			КнигаЛогика и компьютер. [Вып.] 4 : Многозначные логики / А. С. Карпенко Карпенко, Александр Степанович 1997 Сводное описание: Логика и компьютер Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51 / Л 69. Онлайн заказ Добавить в подборку (удалить)