681.3 Л694

Логика и компьютер. Моделирование рассуждений и проверка правильности программ книга

Автор(ы): Алёшина Н. А., Анисов А. М., Быстров П. И., Герасимова И. А.

Москва : Наука, 1990


Постоянный адрес этой страницы


Теги:
Тегов пока нет, Ваш тег будет первым!
Добавить тег