Каталог библиотеки БГТУ

1. Базы данных
2. Книги
3. Авторы
4. Меськов, В. С.

Книги. Авторы - Меськов, В. С.

• Экспресс-логика
  Карпинская, О. Ю., Ляшенко, О. В., Меськов, В. С., Шрамко, Я. В.
  
  Экспресс-логика, Текст, учебное пособие для нефилософских специальностей и направлений вузов Москва, ИНФРА-М, 1997 258, [1] с
• Моделирование рассуждений и проверка правильности программ
  Алешина, Наталия Альбертовна, Анисов, Александр Михайлович, Быстров, Петр Иванович, Герасимова, И. А., Меськов, В. С., Смирнов, В. А., Шалак, В. И.
  
  Логика и компьютер. Моделирование рассуждений и проверка правильности программ, [Текст], Академия наук СССР ; [редкол.: акад. И. М. Макаров (пред.) и др. ; предисл. акад. И. М. Макаров ; науч. ред. д-р филос. наук Е. Д. Смирнова] Москва : Наука , 1990 .- 238, [1] с. .-