Логика и компьютор : Моделирование рассуждений и проверка правильности прогр. / Смирнова Е.Д. ред ; [Н.А.Алешина, А.М.Анисов, П.И.Быстров и др. ; Науч. ред. Е.Д.Смирнова ; Авт.предисл. И.М.Макаров] ; АН СССР

Автор(ы): Алешина, Н. А.;
                   Анисов, А. М.;
                   Быстров, П. И.;
                   Смирнова, Е. Д.Язык документа: Русский.Страна публикации: RU.Издательство: М. : Наука, 1990ББК: 32.973.2-018 ; 50.41Note(s): Библиогр.: с.231-235 (52 назв.).
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
Минская областная библиотека. Читальный зал
Выдается

Библиогр.: с.231-235 (52 назв.).

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: