681.142.2 Л694 2     Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / Н. А. Алешина, А. М. Анисов, П. И. Быстров [и др.] ; науч. ред. Е. Д. Смирнова. — М. : Наука, 1990. — 240 с. ISBN 5-02-007156-0

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	6	Перейти на сайт